gov.nasa.jpf.util.script

Interface ElementProcessor

All Known Implementing Classes:

EventGeneratorFactory, StringSetGenerator

public interface ElementProcessor

Method Summary

Modifier and Type	Method and Description
void	process(Alternative a)
void	process(Event e)
void	process(Repetition r)
void	process(Section s)

Method Detail

process

void process(Section s)

process

void process(Event e)

process

void process(Alternative a)

process

void process(Repetition r)