Package cruise.umple.alloy

Class NumericBoundFact

java.lang.Object

cruise.umple.alloy.AlloyObject

cruise.umple.alloy.Fact

cruise.umple.alloy.NumericBoundFact

public class NumericBoundFact
extends Fact

Field Summary

Fields inherited from class cruise.umple.alloy.Fact

factName, firstClassName, rName1, rName2, secondClassName

Constructor Summary

Constructors

Constructor	Description
NumericBoundFact(Association assoc, int endIndex)
NumericBoundFact(java.lang.String aClassName, java.lang.String aRName, Multiplicity aMult, int aIndex)

Method Summary

Modifier and Type	Method	Description
void	delete()
java.lang.String	getClassName()
int	getIndex()
Multiplicity	getMult()
java.lang.String	getRName()
java.lang.String	print()
boolean	setClassName(java.lang.String aClassName)
boolean	setIndex(int aIndex)
boolean	setMult(Multiplicity aMult)
boolean	setRName(java.lang.String aRName)
java.lang.String	toString()

Methods inherited from class cruise.umple.alloy.Fact

factHeader, makeVarDeclaration, makeVarName, suchThatPlusNewLine

Methods inherited from class cruise.umple.alloy.AlloyObject

addEndDottedLine, addStartDottedLine, convertEndsToAssociation, printObject

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

NumericBoundFact

public NumericBoundFact(java.lang.String aClassName, java.lang.String aRName, Multiplicity aMult, int aIndex)

NumericBoundFact

public NumericBoundFact(Association assoc, int endIndex)

Method Details

setClassName

public boolean setClassName(java.lang.String aClassName)

setRName

public boolean setRName(java.lang.String aRName)

setMult

public boolean setMult(Multiplicity aMult)

setIndex

public boolean setIndex(int aIndex)

getClassName

public java.lang.String getClassName()

getRName

public java.lang.String getRName()

getMult

public Multiplicity getMult()

getIndex

public int getIndex()

delete

public void delete()

Overrides:

delete in class Fact

print

public java.lang.String print()

Overrides:

print in class Fact

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object