gov.nasa.jpf.util.script

Class ESParser

java.lang.Object

gov.nasa.jpf.util.script.ESParser

public class ESParser
extends java.lang.Object

generic parser for event scripts <2do> this is still awfully hardwired to StringExpander

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ESParser.DefaultEventFactory
class	ESParser.Exception utilities

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	K_ANY
static java.lang.String	K_REPEAT our keywords
static java.lang.String	K_SECTION

Constructor Summary

Constructors

Constructor and Description
ESParser(java.lang.String fname)
ESParser(java.lang.String fname, EventFactory eFact)
ESParser(java.lang.String name, java.io.Reader r)
ESParser(java.lang.String name, java.io.Reader r, EventFactory eFact)

Method Summary

Modifier and Type	Method and Description
protected void	alternative(ScriptElementContainer parent)
protected void	event(ScriptElementContainer parent)
static void	main(java.lang.String[] args)
Script	parse() grammar *********************** script ::= {section | sequence}.
protected void	repetition(ScriptElementContainer parent)
protected void	section(ScriptElementContainer parent)
protected void	sequence(ScriptElementContainer parent)
static void	tokenize(java.lang.String fname) test functions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

K_REPEAT

public static final java.lang.String K_REPEAT

our keywords

See Also:

Constant Field Values

K_ANY

public static final java.lang.String K_ANY

See Also:

Constant Field Values

K_SECTION

public static final java.lang.String K_SECTION

See Also:

Constant Field Values

Constructor Detail

ESParser

public ESParser(java.lang.String fname,
                EventFactory eFact)
         throws ESParser.Exception

Throws:

ESParser.Exception

ESParser

public ESParser(java.lang.String fname)
         throws ESParser.Exception

Throws:

ESParser.Exception

ESParser

public ESParser(java.lang.String name,
                java.io.Reader r)
         throws ESParser.Exception

Throws:

ESParser.Exception

ESParser

public ESParser(java.lang.String name,
                java.io.Reader r,
                EventFactory eFact)
         throws ESParser.Exception

Throws:

ESParser.Exception

Method Detail

parse

public Script parse()
             throws ESParser.Exception

grammar *********************** script ::= {section | sequence}. section ::= 'SECTION' ID {',' ID} '{' {sequence} '}'. sequence ::= iteration | selection | event. iteration ::= 'REPEAT' [NUM] '{' {sequence} '}'. selection ::= 'ANY' '{' {event} '}'. event ::= ID ['(' [parameter {',' parameter}] ')']. parameter ::= STRING all parameters are treated as strings, but string literals preserve the double quotes (we need to preserve the token because of argument expansion and numeric type) the event ID can contain '#', '.', ':', '@', '$' '/' and '*' chars (e.g. for further parsing of targets etc.)

Throws:

ESParser.Exception

section

protected void section(ScriptElementContainer parent)
                throws ESParser.Exception

Throws:

ESParser.Exception

sequence

protected void sequence(ScriptElementContainer parent)
                 throws ESParser.Exception

Throws:

ESParser.Exception

repetition

protected void repetition(ScriptElementContainer parent)
                   throws ESParser.Exception

Throws:

ESParser.Exception

alternative

protected void alternative(ScriptElementContainer parent)
                    throws ESParser.Exception

Throws:

ESParser.Exception

event

protected void event(ScriptElementContainer parent)
              throws ESParser.Exception

Throws:

ESParser.Exception

tokenize

public static void tokenize(java.lang.String fname)

test functions

main

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