|
|||||||||
| 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.basket
public class basket
Functions:
set basket(set); // return a singleton.
eset basket(eset); // return eset whose odeg 1.
set basket(string); // return a singleton.
Examples:
>> b1 = basket({1, 2, "abc"});
>> b2 = basket("(1 2 abc)");
>> b1
(1 2 abc)
>> b2
(1 2 abc)
>> b1 ^ b2
(1 2 abc)
>>
| 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 | ||||||||