This commit adds the file 'src/edu/rice/cs/drjava/model/repl/Options.java' which

ponderosaTX · ponderosaTX · commit 53a69ec4b6c2 · 2015-09-09T14:39:57.000-05:00
was inadvertently omitted from the previous commit.

The following file was added
	new file:   src/edu/rice/cs/drjava/model/repl/Options.java
diff --git a/drjava/src/edu/rice/cs/drjava/model/repl/Options.java b/drjava/src/edu/rice/cs/drjava/model/repl/Options.java
@@ -0,0 +1,41 @@
+package edu.rice.cs.drjava.model.repl;
+
+//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; }
+}
