gov.nasa.jpf.util.script

Interface EventFactory

All Known Implementing Classes:

ESParser.DefaultEventFactory

public interface EventFactory

factory class used to create concrete Event instances

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)

Method Detail

createEvent

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