|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectca.uwaterloo.cs.ql.lib.Function
ca.uwaterloo.cs.ql.lib.BuiltinFunction
ca.uwaterloo.cs.ql.lib.concept
public class concept
eset concept(eset)
lattice| Method Summary | |
|---|---|
Value |
invoke(Env env,
Value[] vals)
|
static void |
register(FunctionLib fLib)
|
| Methods inherited from class ca.uwaterloo.cs.ql.lib.Function |
|---|
getName, getParamTypes, getSignature, getSignature, getType, synopsis, usage |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
|---|
public static void register(FunctionLib fLib)
public Value invoke(Env env,
Value[] vals)
throws InvocationException
invoke in class FunctionInvocationException
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||