Package cruise.umple.alloy

Class AssociationFact

java.lang.Object

cruise.umple.alloy.AlloyObject

cruise.umple.alloy.Fact

cruise.umple.alloy.AssociationFact

public class AssociationFact
extends Fact

Field Summary

Fields inherited from class cruise.umple.alloy.Fact

factName, firstClassName, rName1, rName2, secondClassName

Constructor Summary

Constructors

Constructor	Description
AssociationFact(Association assoc)
AssociationFact(java.lang.String aFMult, java.lang.String aSMult, Utility aUtility)

Method Summary

Modifier and Type	Method	Description
void	delete()
java.lang.String	getFMult()
java.lang.String	getSMult()
Utility	getUtility()
java.lang.String	print()
boolean	setFMult(java.lang.String aFMult)
boolean	setSMult(java.lang.String aSMult)
boolean	setUtility(Utility aNewUtility)
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

AssociationFact

public AssociationFact(java.lang.String aFMult, java.lang.String aSMult, Utility aUtility)

AssociationFact

public AssociationFact(Association assoc)

Method Details

setFMult

public boolean setFMult(java.lang.String aFMult)

setSMult

public boolean setSMult(java.lang.String aSMult)

getFMult

public java.lang.String getFMult()

getSMult

public java.lang.String getSMult()

getUtility

public Utility getUtility()

setUtility

public boolean setUtility(Utility aNewUtility)

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