public class Option
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) java.lang.String |
definition |
(package private) int |
multiplicity |
(package private) java.lang.String |
option |
(package private) java.lang.String[] |
parameters |
(package private) int |
type |
Constructor and Description |
---|
Option(int m,
java.lang.String option,
java.lang.String[] param,
int type)
Defining an option with a given multiplicity, a type and a list of parameters
|
Option(int m,
java.lang.String option,
java.lang.String[] param,
java.lang.String def)
Defining an option with a given multiplicity, and a list of parameters
|
int multiplicity
java.lang.String option
java.lang.String[] parameters
java.lang.String definition
int type
public Option(int m, java.lang.String option, java.lang.String[] param, java.lang.String def)
public Option(int m, java.lang.String option, java.lang.String[] param, int type)