gov.nasa.jpf.util.script

Class ESParser.DefaultEventFactory

java.lang.Object

gov.nasa.jpf.util.script.ESParser.DefaultEventFactory

All Implemented Interfaces:

EventFactory

Enclosing class:

ESParser

public static class ESParser.DefaultEventFactory
extends java.lang.Object
implements EventFactory

Constructor Summary

Constructors

Constructor and Description
DefaultEventFactory()

Method Summary

Modifier and Type	Method and Description
Event	createEvent(ScriptElement parent, java.lang.String id, java.util.List<java.lang.String> args, int line)

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultEventFactory

public DefaultEventFactory()

Method Detail

createEvent

public Event createEvent(ScriptElement parent,
                         java.lang.String id,
                         java.util.List<java.lang.String> args,
                         int line)

Specified by:

createEvent in interface EventFactory