manifold.api.highjump

Class Options

java.lang.Object

manifold.api.highjump.Options

public class Options
extends java.lang.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
java.lang.ClassLoader	contextLoader
java.lang.String	expr
java.util.List<java.lang.String>	imports
java.util.List<java.lang.String>	staticImports
java.util.Map<java.lang.String,Symbol>	symbols

Method Summary

Modifier and Type	Method and Description
static Options.Builder	builder(java.lang.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 java.lang.String expr

imports

public final java.util.List<java.lang.String> imports

staticImports

public final java.util.List<java.lang.String> staticImports

contextLoader

public final java.lang.ClassLoader contextLoader

symbols

public final java.util.Map<java.lang.String,Symbol> symbols

Method Detail

builder

public static Options.Builder builder(java.lang.String expr)