|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttudresden.ocl.check.types.testfacade.Multiplicity
Field Summary | |
static int |
INFINITE
constant to be used as return value for the method getMax() |
protected int |
max
|
protected int |
min
|
static Multiplicity |
ONE_TO_INF
multiplicity "1 .. |
static Multiplicity |
STANDARD
multiplicity "1" |
static Multiplicity |
ZERO_OR_ONE
multiplicity "0 .. |
static Multiplicity |
ZERO_TO_INF
multiplicity "0 .. |
Constructor Summary | |
Multiplicity(int min,
int max)
create a new Multiplicity objects representing the given minumum and maximum multiplicity of an association end |
Method Summary | |
int |
getMax()
|
int |
getMin()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static int INFINITE
getMax()
public static Multiplicity STANDARD
public static Multiplicity ZERO_TO_INF
public static Multiplicity ONE_TO_INF
public static Multiplicity ZERO_OR_ONE
protected int min
protected int max
Constructor Detail |
public Multiplicity(int min, int max)
max
- the maximum multiplicity, possibly INFINITE
IllegalArgumentException
- if not
0 <= min and max<>0 and (min<=max or max=INFINITE)
INFINITE
Method Detail |
public int getMax()
INFINITE
public int getMin()
|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |