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

Methods

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

Method Detail

createEvent

Event createEvent(ScriptElement parent,
                String id,
                List<String> args,
                int line)