Class FIL
java.lang.Object
|
+--FIL
- All Implemented Interfaces:
- FILConstants
- public class FIL
- extends java.lang.Object
- implements FILConstants
The class `FIL' implements a parser for the Frame Instance Language (FIL).
Fields inherited from interface FILConstants |
BINARY, COMMENT, DEFAULT, END_INSTANCE, EOF, IDENTIFIER, INSTANCE, LOGICAL, NUMBER, REAL, STRING, tokenImage |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
token_source
public FILTokenManager token_source
token
public Token token
jj_nt
public Token jj_nt
lookingAhead
public boolean lookingAhead
FIL
public FIL(java.io.InputStream stream)
FIL
public FIL(java.io.Reader stream)
FIL
public FIL(FILTokenManager tm)
getFrame
public static Frame getFrame(FrameClass frameClass,
int number)
- Looks up the nth instance of the given FrameClass. Note that
the instance numbers here are as specified in the FIL file rather
than the instance numbers frames are given internally.
- Parameters:
frameClass
- The frame class of the frame to look up.number
- The instance number (as specified in the FIL file) of
the frame to look up.- Returns:
- The frame of that frame class which has that number.
main
public static void main(java.lang.String[] args)
throws ParseException
- Runs the FIL parser on given input.
- Parameters:
argv
- The vector of command line arguments. Each argument is
either an EXPRESS (.exp) file from which to construct the
frame classes (do not include frame_classes.exp as that is
read automatically) or an FIL (.fil) file for instances of
those frame classes. At most one of the arguments can be a case
library (.cas) file.
Start
public final void Start()
throws ParseException
Instance
public final Frame Instance()
throws ParseException
Slot
public final void Slot(Frame f)
throws ParseException
Value
public final java.lang.Object Value()
throws ParseException
ValueList
public final void ValueList(java.util.Vector v)
throws ParseException
ReInit
public void ReInit(java.io.InputStream stream)
ReInit
public void ReInit(java.io.Reader stream)
ReInit
public void ReInit(FILTokenManager tm)
getNextToken
public final Token getNextToken()
getToken
public final Token getToken(int index)
generateParseException
public final ParseException generateParseException()
enable_tracing
public final void enable_tracing()
disable_tracing
public final void disable_tracing()