|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.udo.cs.ie.cowbots.kParser.KParser
public class KParser
KProg ::== "fluents:" + (declaration)* + "actions:" + (declaration)* + "always:" + (rule)* + "initially:" + (rule)* + ("noConcurrency.")? + ("securePlan.")? + "goal:"+ ((negliteral))* + "?" + "(" + i+ + ")" declaration ::== atom "requires" (atom)* "." | atom "." rule ::== excondition | causationrule causationrule ::== "caused" + (negliteral |"false") + ("if" + (elpliteral)+)? + ("after" + (elpliteral)+)? + "." excondition ::== "executable" + atom + ("if" + (elpliteral)+)? +"." elpliteral ::== ("not")? negliteral negliteral ::== "~" atom | atom atom ::= predicateName | predicateName + "(" + termList+ ")" i ::== [0..9] predicateName is consisted of symbols from {[a,...,z][A,...,Z][0,...,9], _} with an uppercase letter at the beginning. variable is consisted of symbols from {[a,...,z][A,...,Z][0,...,9], _} with an uppercase letter at the beginning. constant is consisted of symbols from {[a,...,z][A,...,Z][0,...,9], _} with an lowercase letter at the beginning. compOp(comparative operator) is consisted of symbols from {"<", " >", "<=", " >=", "==", "!="}. arithOp(arithmetic operator) is consisted of symbols from {"+", "-", "*", "/", "%", "="}.
Field Summary | |
---|---|
private static java.util.List<int[]> |
jj_expentries
|
private static int[] |
jj_expentry
|
private static int |
jj_gen
|
private static boolean |
jj_initialized_once
|
(package private) static SimpleCharStream |
jj_input_stream
|
private static int |
jj_kind
|
private static int[] |
jj_la1
|
private static int[] |
jj_la1_0
|
private static int[] |
jj_la1_1
|
static Token |
jj_nt
Next token. |
private static int |
jj_ntk
|
static Token |
token
Current token. |
static KParserTokenManager |
token_source
Generated Token Manager. |
Fields inherited from interface edu.udo.cs.ie.cowbots.kParser.KParserConstants |
---|
ARITHOP, CHAR, COMMA, COMPOP, CONST, DEFAULT, DIGIT, EOF, FALSE, IMPLICATION, LETTER, LOWERCASE, LPAREN, NAF, NAME, NEG, NUMBER, NUMCONST, OR, PERIOD, RPAREN, tokenImage, UPPERCASE, VARPRED |
Constructor Summary | |
---|---|
KParser(java.io.InputStream stream)
Constructor with InputStream. |
|
KParser(java.io.InputStream stream,
java.lang.String encoding)
Constructor with InputStream and supplied encoding |
|
KParser(KParserTokenManager tm)
Constructor with generated Token Manager. |
|
KParser(java.io.Reader stream)
Constructor. |
Method Summary | |
---|---|
static KProgram |
analyse()
|
static KCausationRule |
causationrule()
|
static KDeclaration |
declaration()
|
static void |
disable_tracing()
Disable tracing. |
static DLPAtom |
elpAtom()
|
static DLPLiteral |
elpLiteral()
|
static void |
enable_tracing()
Enable tracing. |
static KExCondition |
excondition()
|
static ParseException |
generateParseException()
Generate ParseException. |
static Token |
getNextToken()
Get the next Token. |
static Token |
getToken(int index)
Get the specific Token. |
private static Token |
jj_consume_token(int kind)
|
private static void |
jj_la1_init_0()
|
private static void |
jj_la1_init_1()
|
private static int |
jj_ntk()
|
static KProgram |
kProg(KProgram kp)
|
static void |
main(java.lang.String[] args)
|
static DLPLiteral |
negLiteral()
|
static KProgram |
parse(java.lang.String fileName)
|
static void |
ReInit(java.io.InputStream stream)
Reinitialise. |
static void |
ReInit(java.io.InputStream stream,
java.lang.String encoding)
Reinitialise. |
void |
ReInit(KParserTokenManager tm)
Reinitialise. |
static void |
ReInit(java.io.Reader stream)
Reinitialise. |
static KRule |
rule()
|
static DLPTerm |
term()
|
static DLPTermList |
termList()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private static boolean jj_initialized_once
public static KParserTokenManager token_source
static SimpleCharStream jj_input_stream
public static Token token
public static Token jj_nt
private static int jj_ntk
private static int jj_gen
private static final int[] jj_la1
private static int[] jj_la1_0
private static int[] jj_la1_1
private static java.util.List<int[]> jj_expentries
private static int[] jj_expentry
private static int jj_kind
Constructor Detail |
---|
public KParser(java.io.InputStream stream)
public KParser(java.io.InputStream stream, java.lang.String encoding)
public KParser(java.io.Reader stream)
public KParser(KParserTokenManager tm)
Method Detail |
---|
public static KProgram parse(java.lang.String fileName) throws ParseException, java.io.FileNotFoundException
ParseException
java.io.FileNotFoundException
public static void main(java.lang.String[] args)
public static final KProgram analyse() throws ParseException
ParseException
public static final KProgram kProg(KProgram kp) throws ParseException
ParseException
public static final KDeclaration declaration() throws ParseException
ParseException
public static final KRule rule() throws ParseException
ParseException
public static final KCausationRule causationrule() throws ParseException
ParseException
public static final KExCondition excondition() throws ParseException
ParseException
public static final DLPLiteral elpLiteral() throws ParseException
ParseException
public static final DLPLiteral negLiteral() throws ParseException
ParseException
public static final DLPAtom elpAtom() throws ParseException
ParseException
public static final DLPTermList termList() throws ParseException
ParseException
public static final DLPTerm term() throws ParseException
ParseException
private static void jj_la1_init_0()
private static void jj_la1_init_1()
public static void ReInit(java.io.InputStream stream)
public static void ReInit(java.io.InputStream stream, java.lang.String encoding)
public static void ReInit(java.io.Reader stream)
public void ReInit(KParserTokenManager tm)
private static Token jj_consume_token(int kind) throws ParseException
ParseException
public static final Token getNextToken()
public static final Token getToken(int index)
private static int jj_ntk()
public static ParseException generateParseException()
public static final void enable_tracing()
public static final void disable_tracing()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |