Package cruise.umple.alloy

Class GenHierarchyFact

java.lang.Object

cruise.umple.alloy.AlloyObject

cruise.umple.alloy.Fact

cruise.umple.alloy.GenHierarchyFact

public class GenHierarchyFact
extends Fact

Field Summary

Fields inherited from class cruise.umple.alloy.Fact

factName, firstClassName, rName1, rName2, secondClassName

Constructor Summary

Constructors

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

GenHierarchyFact

public GenHierarchyFact()

GenHierarchyFact

public GenHierarchyFact(Association assoc)

Method Details

delete

public void delete()

Overrides:

delete in class Fact

print

public java.lang.String print()

Overrides:

print in class Fact