ca.uwaterloo.cs.ql.lib
Class write
java.lang.Object
ca.uwaterloo.cs.ql.lib.Function
ca.uwaterloo.cs.ql.lib.BuiltinFunction
ca.uwaterloo.cs.ql.lib.write
public class write
- extends BuiltinFunction
Write/append facts to file.
Functions:
void putdb(dataFileName)
void putdb(dataFileName, setToSave)
void putta(dataFileName)
void putta(dataFileName, setToSave)
void appendta(dataFileName, setToSave)
void appenddb(dataFileName, setToSave)
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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