Modifier and Type | Field and Description |
---|---|
static java.util.HashMap<java.lang.String,java.lang.Class<?>> |
hashtable |
Constructor and Description |
---|
JavaTerm(java.lang.Class<?> _class,
java.util.Collection<Term<?>> properties) |
JavaTerm(O o) |
Modifier and Type | Method and Description |
---|---|
int |
arity() |
java.lang.Class<?> |
getKlass() |
java.lang.String |
getName() |
Struct |
marshal()
Creates a new instance of JavaTerm
|
<Z> Z |
toJava() |
java.lang.String |
toString() |
public static java.util.HashMap<java.lang.String,java.lang.Class<?>> hashtable
public JavaTerm(O o)
public JavaTerm(java.lang.Class<?> _class, java.util.Collection<Term<?>> properties)
public Struct marshal()
public java.lang.Class<?> getKlass()
public java.lang.String toString()
toString
in class java.lang.Object