Fact

java.lang.Object

cruise.umple.alloy.AlloyObject

cruise.umple.alloy.Fact

Direct Known Subclasses:: AssociationFact, BidirectionFact, GenHierarchyFact, NoExtendedFact, NonReflexiveFact, NoSelfRelationFact, NumericBoundFact, SymmetricFact

public class Fact
extends AlloyObject

Field Summary

Fields
Modifier and Type	Field	Description
`protected java.lang.String`	`factName`
`protected java.lang.String`	`firstClassName`
`protected java.lang.String`	`rName1`
`protected java.lang.String`	`rName2`
`protected java.lang.String`	`secondClassName`

Constructor Summary

Constructors

Constructor Description

Fact()

Fact(Association assoc)

Fact(UmpleClass uClass)

Method Summary

Modifier and Type	Method	Description
`void`	`delete()`
`protected java.lang.String`	`factHeader()`
`protected java.lang.String`	`makeVarDeclaration(java.lang.String cName, java.lang.Integer num)`
`protected java.lang.String`	`makeVarName(java.lang.String name, java.lang.Integer num)`
`java.lang.String`	`print()`
`protected java.lang.String`	`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

Field Details
- factName
  
  protected java.lang.String factName
- firstClassName
  
  protected java.lang.String firstClassName
- secondClassName
  
  protected java.lang.String secondClassName
- rName1
  
  protected java.lang.String rName1
- rName2
  
  protected java.lang.String rName2
Constructor Details
- Fact
  
  public Fact()
- Fact
  
  public Fact(Association assoc)
- Fact
  
  public Fact(UmpleClass uClass)
Method Details
- delete
  
  public void delete()
  
  Overrides:
  
  delete in class AlloyObject
- suchThatPlusNewLine
  
  protected java.lang.String suchThatPlusNewLine()
- factHeader
  
  protected java.lang.String factHeader()
- makeVarName
  
  protected java.lang.String makeVarName(java.lang.String name, java.lang.Integer num)
- makeVarDeclaration
  
  protected java.lang.String makeVarDeclaration(java.lang.String cName, java.lang.Integer num)
- print
  
  public java.lang.String print()