ca.uwaterloo.cs.ql.lib
Class max

java.lang.Object
  extended by ca.uwaterloo.cs.ql.lib.Function
      extended by ca.uwaterloo.cs.ql.lib.BuiltinFunction
          extended by ca.uwaterloo.cs.ql.lib.max

public class max
extends BuiltinFunction

 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

register

public static void register(FunctionLib fLib)

invoke

public Value invoke(Env env,
                    Value[] vals)
             throws InvocationException
Specified by:
invoke in class Function
Throws:
InvocationException