edu.udo.cs.ie.cowbots.kParser
Class KParser

Package class diagram package KParser
java.lang.Object
  extended by edu.udo.cs.ie.cowbots.kParser.KParser
All Implemented Interfaces:
KParserConstants

public class KParser
extends java.lang.Object
implements KParserConstants

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

jj_initialized_once

private static boolean jj_initialized_once

token_source

public static KParserTokenManager token_source
Generated Token Manager.


jj_input_stream

static SimpleCharStream jj_input_stream

token

public static Token token
Current token.


jj_nt

public static Token jj_nt
Next token.


jj_ntk

private static int jj_ntk

jj_gen

private static int jj_gen

jj_la1

private static final int[] jj_la1

jj_la1_0

private static int[] jj_la1_0

jj_la1_1

private static int[] jj_la1_1

jj_expentries

private static java.util.List<int[]> jj_expentries

jj_expentry

private static int[] jj_expentry

jj_kind

private static int jj_kind
Constructor Detail

KParser

public KParser(java.io.InputStream stream)
Constructor with InputStream.


KParser

public KParser(java.io.InputStream stream,
               java.lang.String encoding)
Constructor with InputStream and supplied encoding


KParser

public KParser(java.io.Reader stream)
Constructor.


KParser

public KParser(KParserTokenManager tm)
Constructor with generated Token Manager.

Method Detail

parse

public static KProgram parse(java.lang.String fileName)
                      throws ParseException,
                             java.io.FileNotFoundException
Throws:
ParseException
java.io.FileNotFoundException

main

public static void main(java.lang.String[] args)

analyse

public static final KProgram analyse()
                              throws ParseException
Throws:
ParseException

kProg

public static final KProgram kProg(KProgram kp)
                            throws ParseException
Throws:
ParseException

declaration

public static final KDeclaration declaration()
                                      throws ParseException
Throws:
ParseException

rule

public static final KRule rule()
                        throws ParseException
Throws:
ParseException

causationrule

public static final KCausationRule causationrule()
                                          throws ParseException
Throws:
ParseException

excondition

public static final KExCondition excondition()
                                      throws ParseException
Throws:
ParseException

elpLiteral

public static final DLPLiteral elpLiteral()
                                   throws ParseException
Throws:
ParseException

negLiteral

public static final DLPLiteral negLiteral()
                                   throws ParseException
Throws:
ParseException

elpAtom

public static final DLPAtom elpAtom()
                             throws ParseException
Throws:
ParseException

termList

public static final DLPTermList termList()
                                  throws ParseException
Throws:
ParseException

term

public static final DLPTerm term()
                          throws ParseException
Throws:
ParseException

jj_la1_init_0

private static void jj_la1_init_0()

jj_la1_init_1

private static void jj_la1_init_1()

ReInit

public static void ReInit(java.io.InputStream stream)
Reinitialise.


ReInit

public static void ReInit(java.io.InputStream stream,
                          java.lang.String encoding)
Reinitialise.


ReInit

public static void ReInit(java.io.Reader stream)
Reinitialise.


ReInit

public void ReInit(KParserTokenManager tm)
Reinitialise.


jj_consume_token

private static Token jj_consume_token(int kind)
                               throws ParseException
Throws:
ParseException

getNextToken

public static final Token getNextToken()
Get the next Token.


getToken

public static final Token getToken(int index)
Get the specific Token.


jj_ntk

private static int jj_ntk()

generateParseException

public static ParseException generateParseException()
Generate ParseException.


enable_tracing

public static final void enable_tracing()
Enable tracing.


disable_tracing

public static final void disable_tracing()
Disable tracing.