manifold.api.highjump

Class Options.Builder

java.lang.Object

manifold.api.highjump.Options.Builder

Enclosing class:

Options

public static class Options.Builder
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
Options	build()
Options.Builder	contextLoader(java.lang.ClassLoader contextLoader)
Options.Builder	importClass(java.lang.Class clazz)
Options.Builder	importStatic(java.lang.Class clazz, java.lang.String member)
Options.Builder	symbol(java.lang.String name, Symbol type)
Options.Builder	symbols(java.util.Map<java.lang.String,Symbol> symbols)

Methods inherited from class java.lang.Object

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

Method Detail

importClass

public Options.Builder importClass(java.lang.Class clazz)

importStatic

public Options.Builder importStatic(java.lang.Class clazz,
                                    java.lang.String member)

contextLoader

public Options.Builder contextLoader(java.lang.ClassLoader contextLoader)

symbol

public Options.Builder symbol(java.lang.String name,
                              Symbol type)

symbols

public Options.Builder symbols(java.util.Map<java.lang.String,Symbol> symbols)

build

public Options build()