manifold.api.highjump

Class Options

java.lang.Object

manifold.api.highjump.Options

public class Options
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Options.Builder

Field Summary

Fields

Modifier and Type	Field and Description
ClassLoader	contextLoader
String	expr
List<String>	imports
List<String>	staticImports
Map<String,Symbol>	symbols

Method Summary

Modifier and Type	Method and Description
static Options.Builder	builder(String expr)

Methods inherited from class java.lang.Object

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

Field Detail

expr

public final String expr

imports

public final List<String> imports

staticImports

public final List<String> staticImports

contextLoader

public final ClassLoader contextLoader

symbols

public final Map<String,Symbol> symbols

Method Detail

builder

public static Options.Builder builder(String expr)