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
checkBaseClassesNotCircular
checkAttributeNotCircular
checkBaseClassesNotCircular
checkBaseClassesNotCircular
checkExecModelConsistent
checkSubSystem
checkLogicalSystem
checkInstancePath
checkPortCompatibility
checkServiceCompatibility
checkTrPoint
checkInterfaceItemUniqueName
checkTransition
checkState
checkPort
checkProtocol
checkMessage
|