public class TerminationContent extends Content
identifier, is_definition, line, parameters
Constructor and Description |
---|
TerminationContent()
Default constructor.
|
TerminationContent(java.lang.String line)
Constructor that extracts the contents from a String line
|
public TerminationContent()
public TerminationContent(java.lang.String line)
line
- String with the contents in VGDL format, to be mapped to the
data structures of this class.