Package cruise.umple.alloy

Class NoExtendedFact

java.lang.Object

cruise.umple.alloy.AlloyObject

cruise.umple.alloy.Fact

cruise.umple.alloy.NoExtendedFact

public class NoExtendedFact
extends Fact

Field Summary

Fields inherited from class cruise.umple.alloy.Fact

factName, firstClassName, rName1, rName2, secondClassName

Constructor Summary

Constructors

Constructor	Description
NoExtendedFact()
NoExtendedFact(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

NoExtendedFact

public NoExtendedFact()

NoExtendedFact

public NoExtendedFact(Association assoc)

Method Details

delete

public void delete()

Overrides:

delete in class Fact

print

public java.lang.String print()

Overrides:

print in class Fact