forked from DrJavaAtRice/Java8
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathOptions.java
More file actions
40 lines (33 loc) · 1.77 KB
/
Copy pathOptions.java
File metadata and controls
40 lines (33 loc) · 1.77 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
package edu.rice.cs.dynamicjava;
import edu.rice.cs.dynamicjava.symbol.TypeSystem;
import edu.rice.cs.dynamicjava.symbol.ExtendedTypeSystem;
import edu.rice.cs.plt.lambda.LambdaUtil;
import edu.rice.cs.plt.lambda.LazyThunk;
import edu.rice.cs.plt.lambda.Thunk;
public class Options {
public static final Options DEFAULT = new Options();
private final Thunk<? extends TypeSystem> _tsFactory;
/** For default options, use {@link #DEFAULT}; for custom options, create a subclass. */
protected Options() { _tsFactory = 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.
*/
protected Thunk<? extends TypeSystem> typeSystemFactory() {
return LambdaUtil.valueLambda(new ExtendedTypeSystem(this));
}
public final TypeSystem typeSystem() { return _tsFactory.value(); }
/** Require a semicolon at the end of statements. */
public boolean requireSemicolon() { return false; }
/** Require variable declarations to include an explicit type. */
public boolean requireVariableType() { return false; }
/** Check that all access of class members is permitted by accessibility controls. */
public boolean enforceAllAccess() { return false; }
/** Check that access of private class members is permitted (irrelevant if enforceAllAccess() is true). */
public boolean enforcePrivateAccess() { return false; }
/** Disallow boxing conversion. */
public boolean prohibitBoxing() { return false; }
/** Disallow unchecked casting conversion. */
public boolean prohibitUncheckedCasts() { return true; }
}