Object |
Host.getInstance(long instanceId) |
Get a cached Java instance.
|
boolean |
Host.isa(org.json.JSONObject instance,
String classTag) |
Check if a Java instance is an instance of a class.
|
HashMap<String,Object> |
Host.polarDictToJava(org.json.JSONObject dict) |
Convert a JSONified Polar dictionary to a Java Map
|
List<Object> |
Host.polarListToJava(org.json.JSONArray list) |
Convert a JSONified Polar List to a Java List
|
boolean |
Host.subspecializer(long instanceId,
String leftTag,
String rightTag) |
Check if a class specializer is more specific than another class specializer.
|
Object |
Host.toJava(org.json.JSONObject term) |
Turn a Polar term passed across the FFI boundary into a Java Object.
|