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.