HLA的HelloWorld_FED实例

;; possible <transportation> = reliable,

;;                             best_effort

;; possible <ordering> = receive,

;;                       timestamp

;;

;;(FED

;;  (Federation <FEDName>)

;;  (FEDversion <FEDDIFVersionNumber>)

;;  (spaces

;;    (space <name>

;;      (dimension <name>)

;;      . . .

;;      (dimension <name>)

;;    )

;;    . . .

;;    (space <name>

;;      (dimension <name>)

;;      . . .

;;      (dimension <name>)

;;    )

;;  )

;;  (objects

;;    (class objectRoot

;;      (attribute <name> <transportation> <ordering> [<space>])

;;      . . .

;;      (attribute <name> <transportation> <ordering> [<space>])

;;      (class RTIprivate)

;;      (class <name>

;;        (attribute <name> <transportation> <ordering> [<space>])

;;         . . .

;;        (attribute <name> <transportation> <ordering> [<space>])

;;        (class <name>

;;          (attribute <name> <transportation> <ordering> [<space>])

;;           . . .

;;          (attribute <name> <transportation> <ordering> [<space>])

;;           . . .

;;        )

;;        . . .

;;      )

;;      . . .

;;      (class <name>

;;        (attribute <name> <transportation> <ordering> [<space>])

;;        . . .

;;        (attribute <name> <transportation> <ordering> [<space>])

;;      )

;;    )

;;  )

;;  (interactions

;;    (class interactionRoot <transportation> <ordering> [<space>]

;;      (parameter <name>)

;;      . . .

;;      (parameter <name>)

;;      (class RTIprivate <transportation> <ordering> [<space>])

;;      (class <name> <transportation> <ordering> [<space>]

;;        (parameter <name>)

;;        . . .

;;        (parameter <name>)

;;        (class <name> <transportation> <ordering> [<space>]

;;          (parameter <name>)

;;          . . .

;;          (parameter <name>)

;;          . . .

;;        )

;;        . . .

;;      )

;;      . . .

;;      (class <name> <transportation> <ordering> [<space>]

;;        (parameter <name>)

;;        . . .

;;        (parameter <name>)

;;      )

;;    )

;;  )

;;)

 

(FED

  (Federation HelloWorld)

  (FEDversion v1.3)

  (spaces

    (space thefinalfrontier

      (dimension x)

      (dimension y)

      (dimension z)

      (dimension time)

    )

    (space a

       (dimension x)

       (dimension y)

    )

    (space b

        (dimension x)

        (dimension y)

        (dimension z)

    )

    (space c

        (dimension x)

    )

    (space ip_space

       (dimension subnet)

    )

  )

  (objects

    (class ObjectRoot

      (attribute privilegeToDelete reliable timestamp A)

      (class RTIprivate)

      (class Manager

        (class Federate

          (attribute FederateHandle reliable receive)

   (attribute FederateType reliable receive)

          (attribute FederateHost reliable receive)

          (attribute RTIversion reliable receive)

   (attribute FEDid reliable receive)

          (attribute TimeConstrained reliable receive)

          (attribute TimeRegulating reliable receive)

   (attribute AsynchronousDelivery reliable receive)

          (attribute FederateState reliable receive)

          (attribute TimeManagerState reliable receive)

          (attribute FederateTime reliable receive)

          (attribute Lookahead reliable receive)

          (attribute LBTS reliable receive)

          (attribute MinNextEventTime reliable receive)

          (attribute ROlength reliable receive)

          (attribute TSOlength reliable receive)

   (attribute ReflectionsReceived reliable receive)

   (attribute UpdatesSent reliable receive)

   (attribute InteractionsReceived reliable receive)

   (attribute InteractionsSent reliable receive)

   (attribute ObjectsOwned reliable receive)

   (attribute ObjectsUpdated reliable receive)

   (attribute ObjectsReflected reliable receive) )

        (class Federation

          (attribute FederationName reliable receive)

          (attribute FederatesInFederation reliable receive)

          (attribute RTIversion reliable receive)

          (attribute FEDid reliable receive)

          (attribute LastSaveName reliable receive)

          (attribute LastSaveTime reliable receive)

          (attribute NextSaveName reliable receive)

          (attribute NextSaveTime reliable receive) )

      )

;; user object classes here

      (class Country

          (attribute Name reliable timestamp)

          (attribute Population reliable timestamp)

      )

    )

  )

  (interactions

    (class InteractionRoot reliable receive

      (class RTIprivate reliable receive)

      (class Manager reliable receive

        (class Federate reliable receive

          (parameter Federate)

          (class Adjust reliable receive

            (class SetTiming reliable receive

              (parameter ReportPeriod) )

            (class ModifyAttributeState reliable receive

              (parameter ObjectInstance)

              (parameter Attribute)

              (parameter AttributeState) )

            (class SetServiceReporting reliable receive

              (parameter ReportingState) )

            (class SetExceptionLogging reliable receive

              (parameter LoggingState) )

          )

          (class Request reliable receive

            (class RequestPublications reliable receive)

            (class RequestSubscriptions reliable receive)

            (class RequestObjectsOwned reliable receive)

            (class RequestObjectsUpdated reliable receive)

            (class RequestObjectsReflected reliable receive)

            (class RequestUpdatesSent reliable receive)

            (class RequestInteractionsSent reliable receive)

            (class RequestReflectionsReceived reliable receive)

            (class RequestInteractionsReceived reliable receive)

            (class RequestObjectInformation reliable receive

              (parameter ObjectInstance) )

          )

          (class Report reliable receive

            (class ReportObjectPublication reliable receive

              (parameter NumberOfClasses)

              (parameter ObjectClass)

              (parameter AttributeList) )

            (class ReportInteractionPublication reliable receive

              (parameter InteractionClassList) )

            (class ReportObjectSubscription reliable receive

              (parameter NumberOfClasses)

              (parameter ObjectClass)

              (parameter AttributeList)

       (parameter Active) )

            (class ReportInteractionSubscription reliable receive

              (parameter InteractionClassList) )

            (class ReportObjectsOwned reliable receive

              (parameter ObjectCounts) )

            (class ReportObjectsUpdated reliable receive

              (parameter ObjectCounts) )

            (class ReportObjectsReflected reliable receive

              (parameter ObjectCounts) )

            (class ReportUpdatesSent reliable receive

              (parameter TransportationType)

              (parameter UpdateCounts) )

            (class ReportReflectionsReceived reliable receive

              (parameter TransportationType)

              (parameter ReflectCounts) )

            (class ReportInteractionsSent reliable receive

              (parameter TransportationType)

              (parameter InteractionCounts) )

            (class ReportInteractionsReceived reliable receive

              (parameter TransportationType)

              (parameter InteractionCounts) )

            (class ReportObjectInformation reliable receive

              (parameter ObjectInstance)

              (parameter OwnedAttributeList)

              (parameter RegisteredClass)

              (parameter KnownClass) )

            (class Alert reliable receive

              (parameter AlertSeverity)

              (parameter AlertDescription)

              (parameter AlertID) )

            (class ReportServiceInvocation reliable receive

              (parameter Service)

              (parameter Initiator)

       (parameter SuccessIndicator)

              (parameter SuppliedArgument1)

              (parameter SuppliedArgument2)

              (parameter SuppliedArgument3)

              (parameter SuppliedArgument4)

              (parameter SuppliedArgument5)

              (parameter ReturnedArgument)

       (parameter ExceptionDescription)

       (parameter ExceptionID) )

          )

          (class Service reliable receive

            (class ResignFederationExecution reliable receive

              (parameter ResignAction) )

            (class SynchronizationPointAchieved reliable receive

              (parameter Label) )

            (class FederateSaveBegun reliable receive)

            (class FederateSaveComplete reliable receive

              (parameter SuccessIndicator) )

            (class FederateRestoreComplete reliable receive

              (parameter SuccessIndicator) )

            (class PublishObjectClass reliable receive

              (parameter ObjectClass)

              (parameter AttributeList) )

            (class UnpublishObjectClass reliable receive

              (parameter ObjectClass) )

            (class PublishInteractionClass reliable receive

              (parameter InteractionClass) )

            (class UnpublishInteractionClass reliable receive

              (parameter InteractionClass) )

            (class SubscribeObjectClassAttributes reliable receive

              (parameter ObjectClass)

              (parameter AttributeList)

       (parameter Active) )

            (class UnsubscribeObjectClass reliable receive

              (parameter ObjectClass) )

            (class SubscribeInteractionClass reliable receive

              (parameter InteractionClass)

       (parameter Active) )

            (class UnsubscribeInteractionClass reliable receive

              (parameter InteractionClass) )

            (class DeleteObjectInstance reliable receive

              (parameter ObjectInstance)

       (parameter FederationTime)

              (parameter Tag) )

            (class LocalDeleteObjectInstance reliable receive

              (parameter ObjectInstance) )

            (class ChangeAttributeTransportationType reliable receive

              (parameter ObjectInstance)

              (parameter AttributeList)

              (parameter TransportationType) )

            (class ChangeAttributeOrderType reliable receive

              (parameter ObjectInstance)

              (parameter AttributeList)

              (parameter OrderingType) )

            (class ChangeInteractionTransportationType reliable receive

              (parameter InteractionClass)

              (parameter TransportationType) )

            (class ChangeInteractionOrderType reliable receive

              (parameter InteractionClass)

              (parameter OrderingType) )

            (class UnconditionalAttributeOwnershipDivestiture reliable receive

              (parameter ObjectInstance)

              (parameter AttributeList) )

            (class EnableTimeRegulation reliable receive

              (parameter FederationTime)

              (parameter Lookahead) )

            (class DisableTimeRegulation reliable receive)

            (class EnableTimeConstrained reliable receive)

            (class DisableTimeConstrained reliable receive)

            (class EnableAsynchronousDelivery reliable receive)

            (class DisableAsynchronousDelivery reliable receive)

            (class ModifyLookahead reliable receive

              (parameter Lookahead) )

            (class TimeAdvanceRequest reliable receive

              (parameter FederationTime) )

            (class TimeAdvanceRequestAvailable reliable receive

              (parameter FederationTime) )

            (class NextEventRequest reliable receive

              (parameter FederationTime) )

            (class NextEventRequestAvailable reliable receive

              (parameter FederationTime) )

            (class FlushQueueRequest reliable receive

              (parameter FederationTime) )

          )

        )

      )

;;  user interaction classes here

      (class Communication reliable timestamp

        (parameter Message)

      )

    )

  )

)