edu.rice.cs.dynamicjava
Class Options

java.lang.Object
  edu.rice.cs.dynamicjava.Options

public class Options
extends Object

Field Summary

static Options

DEFAULT

Constructor Summary

protected

Options() For default options, use DEFAULT; for custom options, create a subclass.

Method Summary

boolean	enforceAllAccess() Check that all access of class members is permitted by accessibility controls.
boolean	enforcePrivateAccess() Check that access of private class members is permitted (irrelevant if enforceAllAccess() is true).
boolean	prohibitBoxing() Disallow boxing conversion.
boolean	prohibitUncheckedCasts() Disallow unchecked casting conversion.
boolean	requireSemicolon() Require a semicolon at the end of statements.
boolean	requireVariableType() Require variable declarations to include an explicit type.
TypeSystem	typeSystem()
protected Thunk<? extends TypeSystem>	typeSystemFactory() Provide a factory for the type system.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DEFAULT

public static final Options DEFAULT

Constructor Detail

Options

protected Options()

For default options, use DEFAULT; for custom options, create a subclass.

Method Detail

typeSystemFactory

protected Thunk<? extends TypeSystem> typeSystemFactory()

Provide a factory for the type system. Allows subclasses to control the caching of the result (for a TypeSystem that should be allocated only once, use a LazyThunk or LambdaUtil.valueLambda). Note that this method is called from the constructor, before subclass constructors are run.

typeSystem

public final TypeSystem typeSystem()

requireSemicolon

public boolean requireSemicolon()

Require a semicolon at the end of statements.

requireVariableType

public boolean requireVariableType()

Require variable declarations to include an explicit type.

enforceAllAccess

public boolean enforceAllAccess()

Check that all access of class members is permitted by accessibility controls.

enforcePrivateAccess

public boolean enforcePrivateAccess()

Check that access of private class members is permitted (irrelevant if enforceAllAccess() is true).

prohibitBoxing

public boolean prohibitBoxing()

Disallow boxing conversion.

prohibitUncheckedCasts

public boolean prohibitUncheckedCasts()

Disallow unchecked casting conversion.