public class SequenceElement extends PatternElement
Constructor and Description |
---|
SequenceElement(SequenceDefinition sequencedefinition)
creates a sequence pattern element
|
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
generateImport() |
java.lang.String |
generateSource() |
public SequenceElement(SequenceDefinition sequencedefinition)
sequencedefinition
- definition of the sequencepublic java.lang.String generateSource()
generateSource
in class PatternElement
public java.lang.String[] generateImport()
generateImport
in class PatternElement