|
|||||||||
| 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.max
public class max
Functions:
set max(set)
set max(set, int)
int maxi(set)
float maxf(set)
Examples:
A { age = 10 }
B { age = 10 }
C { age = 30 }
D { age = 32 }
E { age = 32 }
>> max(rng @age)
32
>> max(rng @age, 2)
32
30
>> maxi(rng @age) / 4
8
>> maxf(rng @age) / 4
8.0
>> @age . max(rng @age}
D
E
| 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 | ||||||||