Options (Manifold :: Highjump 2026.1.6 API)

java.lang.Object
- manifold.api.highjump.Options

```
public class Options
extends Object
```

- Nested Class Summary
  
  Nested Classes
  Modifier and Type Class Description
  
  static class Options.Builder
- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  ClassLoader contextLoader
  
  String expr
  
  List<String> imports
  
  List<String> staticImports
  
  Map<String,Symbol> symbols
- Method Summary
  
  All Methods Static Methods Concrete Methods
  Modifier and Type Method 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)