void |
checkActorRefIsNotCircular(ActorRef ar)
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RoomJavaValidator
public RoomJavaValidator()
checkImportedNamespace
checkTypeNameStartsWithCapital
checkActorRefIsNotCircular
checkRefHasFixedMultiplicityPorts
checkLayerConnectiontarget
checkBaseClassesNotCircular
checkAttributeNotCircular
checkBaseClassesNotCircular
checkBaseClassesNotCircular
checkExecModelConsistent
checkTopLevelRefinedStates
checkRefinedStateUnique
checkStateNameUnique
checkSubSystem
checkLogicalSystem
checkInstancePath
checkPortCompatibility
checkServiceCompatibility
checkTrPoint
checkChoicePoint
checkInterfaceItemUniqueName
checkTransition
checkState
checkPort
checkProtocol
checkMessage
checkOperation
|