Package cruise.umple.alloy

Class NoSelfRelationFact

java.lang.Object

cruise.umple.alloy.AlloyObject

cruise.umple.alloy.Fact

cruise.umple.alloy.NoSelfRelationFact

public class NoSelfRelationFact
extends Fact

Field Summary

Fields inherited from class cruise.umple.alloy.Fact

factName, firstClassName, rName1, rName2, secondClassName

Constructor Summary

Constructors

Constructor	Description
NoSelfRelationFact()
NoSelfRelationFact(Association assoc)

Method Summary

Modifier and Type	Method	Description
void	delete()
java.lang.String	print()

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, toString, wait, wait, wait

Constructor Details

NoSelfRelationFact

public NoSelfRelationFact()

NoSelfRelationFact

public NoSelfRelationFact(Association assoc)

Method Details

delete

public void delete()

Overrides:

delete in class Fact

print

public java.lang.String print()

Overrides:

print in class Fact