├── .gitignore ├── LICENSE ├── README.md ├── engine ├── engine.iml ├── resources │ ├── META-INF │ │ └── MANIFEST.MF │ ├── ambulance.png │ ├── ambulance1.png │ ├── bridgehead.png │ ├── firefighter.png │ ├── firefighter1.png │ ├── firstaid.png │ ├── hospital.png │ ├── moveToPatient.png │ ├── moveToPatient1.png │ ├── patient_serious.png │ ├── patient_serious1.png │ ├── patient_wounded.png │ ├── patient_wounded1.png │ ├── red_tile.png │ ├── safezone.png │ ├── tile10x10.png │ ├── tile30x30.png │ ├── tile_dark30x30.png │ ├── transfer.png │ ├── transfer1.png │ ├── transfer2.png │ └── yellow_tile.png └── src │ ├── META-INF │ └── MANIFEST.MF │ ├── action │ ├── Action.java │ ├── Func.java │ ├── ambulanceaction │ │ ├── AmbulanceAction.java │ │ ├── AmbulanceFree.java │ │ ├── AmbulanceMoveToBridgehead.java │ │ ├── AmbulanceSearch.java │ │ └── AmbulanceTransferToHospital.java │ └── firefighteraction │ │ ├── FireFighterAction.java │ │ ├── FireFighterFirstAid.java │ │ ├── FireFighterHalt.java │ │ ├── FireFighterMoveToPatient.java │ │ ├── FireFighterSearch.java │ │ ├── FireFighterSelectTransferDestination.java │ │ ├── FireFighterTransferToBridgehead.java │ │ └── FireFighterTransferToHospital.java │ ├── agents │ ├── Ambulance.java │ ├── Bridgehead.java │ ├── CS.java │ ├── FireFighter.java │ ├── Hospital.java │ ├── Organization.java │ └── Patient.java │ ├── core │ ├── DataStructure.java │ ├── GlobalRandom.java │ ├── ImageObject.java │ ├── Map.java │ ├── Msg.java │ ├── MsgRouter.java │ ├── RuntimeMonitoring.java │ ├── SoSImage.java │ ├── SoSObject.java │ ├── TextObject.java │ ├── Tile.java │ └── World.java │ ├── log │ ├── Log.java │ └── Snapshot.java │ ├── main.java │ ├── misc │ ├── ExcelHelper.java │ ├── Position.java │ ├── Range.java │ ├── Size.java │ └── Time.java │ ├── property │ ├── MCIAbsenceChecker.java │ ├── MCIBoundedExistenceChecker.java │ ├── MCIMaximumDurationChecker.java │ ├── MCIMinimumDurationChecker.java │ ├── MCINumberofEventsChecker.java │ ├── MCIPrecedenceChecker.java │ ├── MCIPreventionChecker.java │ ├── MCIProperty.java │ ├── MCIPropertyChecker.java │ ├── MCIRecurrenceChecker.java │ ├── MCIResponseChecker.java │ ├── MCISteadySPChecker.java │ ├── MCITransientSPChecker.java │ ├── MCIUniversalityChecker.java │ ├── MCIUntilChecker.java │ ├── Property.java │ ├── PropertyChecker.java │ └── pattern │ │ ├── AbsenceChecker.java │ │ ├── BoundedExistenceChecker.java │ │ ├── ExistenceChecker.java │ │ ├── ExistenceUntilChecker.java │ │ ├── MaximumDurationChecker.java │ │ ├── MinimumDurationChecker.java │ │ ├── NumberofEventsChecker.java │ │ ├── PrecedenceChecker.java │ │ ├── PreventionChecker.java │ │ ├── RecurrenceChecker.java │ │ ├── ResponseChecker.java │ │ ├── SteadyStateProbabilityChecker.java │ │ ├── TransientStateProbabilityChecker.java │ │ ├── UniversalityChecker.java │ │ └── UntilChecker.java │ ├── runtimeproperty │ ├── AgentEvent.java │ ├── Event.java │ ├── RuntimeProperty.java │ ├── Scope.java │ ├── SoSEvent.java │ ├── event │ │ ├── AllAmbulanceRouteEvent.java │ │ ├── AllFirefighterHaltEvent.java │ │ ├── AllFirefighterNotHaltEvent.java │ │ ├── AllPatientArriveAtHospitalEvent.java │ │ ├── AmbulanceFreeEvent.java │ │ ├── AmbulanceMoveEvent.java │ │ ├── FirefighterFirstAidEvent.java │ │ ├── PatientArriveAtBridgeheadEvent.java │ │ ├── PatientGetFirstAidAgainEvent.java │ │ ├── PatientGetFirstAidEvent.java │ │ ├── RescuedRateEvent.java │ │ ├── TreatmentRate100Event.java │ │ ├── TreatmentRescuedRateEvent.java │ │ └── UnvisitedTileEvent.java │ ├── pattern │ │ ├── RuntimeAbsence.java │ │ ├── RuntimeBoundedExistence.java │ │ ├── RuntimeExistence.java │ │ ├── RuntimeMaximumDuration.java │ │ ├── RuntimeMinimumDuration.java │ │ ├── RuntimePrecedence.java │ │ ├── RuntimePrevention.java │ │ ├── RuntimeRecurrence.java │ │ ├── RuntimeResponse.java │ │ ├── RuntimeUniversality.java │ │ └── RuntimeUntil.java │ └── scope │ │ ├── AfterScope.java │ │ ├── BeforeScope.java │ │ ├── BetweenScope.java │ │ ├── DuringScope.java │ │ ├── GloballyScope.java │ │ └── IntervalScope.java │ ├── simulation │ └── SoSSimulationProgram.java │ ├── stimulus │ ├── EntityStimulus │ │ ├── AddEntity.java │ │ ├── Entity.java │ │ └── RemoveEntity.java │ ├── MessageStimulus │ │ ├── Delay.java │ │ ├── Loss.java │ │ └── Message.java │ ├── Reflection.java │ ├── StateStimulus │ │ ├── Injury.java │ │ └── State.java │ ├── Stimulus.java │ └── ValueStimulus │ │ ├── CommunicationRange.java │ │ ├── SightRange.java │ │ ├── Speed.java │ │ └── Value.java │ └── verifier │ ├── RuntimeVerifier.java │ ├── SPRT.java │ └── Verifier.java └── out ├── artifacts └── Test_Simulator_jar │ ├── Aspect_Test.aj │ ├── MANIFEST.MF │ ├── Test_Simulator.jar │ ├── Test_Simulator │ └── META-INF │ │ └── MANIFEST.MF │ ├── weaved.jar │ └── weaved1.jar └── production └── Test_Simulator └── META-INF └── MANIFEST.MF /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/README.md -------------------------------------------------------------------------------- /engine/engine.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/engine.iml -------------------------------------------------------------------------------- /engine/resources/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Main-Class: main 3 | 4 | -------------------------------------------------------------------------------- /engine/resources/ambulance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/ambulance.png -------------------------------------------------------------------------------- /engine/resources/ambulance1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/ambulance1.png -------------------------------------------------------------------------------- /engine/resources/bridgehead.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/bridgehead.png -------------------------------------------------------------------------------- /engine/resources/firefighter.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/firefighter.png -------------------------------------------------------------------------------- /engine/resources/firefighter1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/firefighter1.png -------------------------------------------------------------------------------- /engine/resources/firstaid.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/firstaid.png -------------------------------------------------------------------------------- /engine/resources/hospital.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/hospital.png -------------------------------------------------------------------------------- /engine/resources/moveToPatient.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/moveToPatient.png -------------------------------------------------------------------------------- /engine/resources/moveToPatient1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/moveToPatient1.png -------------------------------------------------------------------------------- /engine/resources/patient_serious.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/patient_serious.png -------------------------------------------------------------------------------- /engine/resources/patient_serious1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/patient_serious1.png -------------------------------------------------------------------------------- /engine/resources/patient_wounded.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/patient_wounded.png -------------------------------------------------------------------------------- /engine/resources/patient_wounded1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/patient_wounded1.png -------------------------------------------------------------------------------- /engine/resources/red_tile.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/red_tile.png -------------------------------------------------------------------------------- /engine/resources/safezone.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/safezone.png -------------------------------------------------------------------------------- /engine/resources/tile10x10.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/tile10x10.png -------------------------------------------------------------------------------- /engine/resources/tile30x30.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/tile30x30.png -------------------------------------------------------------------------------- /engine/resources/tile_dark30x30.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/tile_dark30x30.png -------------------------------------------------------------------------------- /engine/resources/transfer.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/transfer.png -------------------------------------------------------------------------------- /engine/resources/transfer1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/transfer1.png -------------------------------------------------------------------------------- /engine/resources/transfer2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/transfer2.png -------------------------------------------------------------------------------- /engine/resources/yellow_tile.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/resources/yellow_tile.png -------------------------------------------------------------------------------- /engine/src/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Main-Class: main 3 | 4 | -------------------------------------------------------------------------------- /engine/src/action/Action.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/Action.java -------------------------------------------------------------------------------- /engine/src/action/Func.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/Func.java -------------------------------------------------------------------------------- /engine/src/action/ambulanceaction/AmbulanceAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/ambulanceaction/AmbulanceAction.java -------------------------------------------------------------------------------- /engine/src/action/ambulanceaction/AmbulanceFree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/ambulanceaction/AmbulanceFree.java -------------------------------------------------------------------------------- /engine/src/action/ambulanceaction/AmbulanceMoveToBridgehead.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/ambulanceaction/AmbulanceMoveToBridgehead.java -------------------------------------------------------------------------------- /engine/src/action/ambulanceaction/AmbulanceSearch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/ambulanceaction/AmbulanceSearch.java -------------------------------------------------------------------------------- /engine/src/action/ambulanceaction/AmbulanceTransferToHospital.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/ambulanceaction/AmbulanceTransferToHospital.java -------------------------------------------------------------------------------- /engine/src/action/firefighteraction/FireFighterAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/firefighteraction/FireFighterAction.java -------------------------------------------------------------------------------- /engine/src/action/firefighteraction/FireFighterFirstAid.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/firefighteraction/FireFighterFirstAid.java -------------------------------------------------------------------------------- /engine/src/action/firefighteraction/FireFighterHalt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/firefighteraction/FireFighterHalt.java -------------------------------------------------------------------------------- /engine/src/action/firefighteraction/FireFighterMoveToPatient.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/firefighteraction/FireFighterMoveToPatient.java -------------------------------------------------------------------------------- /engine/src/action/firefighteraction/FireFighterSearch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/firefighteraction/FireFighterSearch.java -------------------------------------------------------------------------------- /engine/src/action/firefighteraction/FireFighterSelectTransferDestination.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/firefighteraction/FireFighterSelectTransferDestination.java -------------------------------------------------------------------------------- /engine/src/action/firefighteraction/FireFighterTransferToBridgehead.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/firefighteraction/FireFighterTransferToBridgehead.java -------------------------------------------------------------------------------- /engine/src/action/firefighteraction/FireFighterTransferToHospital.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/action/firefighteraction/FireFighterTransferToHospital.java -------------------------------------------------------------------------------- /engine/src/agents/Ambulance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/agents/Ambulance.java -------------------------------------------------------------------------------- /engine/src/agents/Bridgehead.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/agents/Bridgehead.java -------------------------------------------------------------------------------- /engine/src/agents/CS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/agents/CS.java -------------------------------------------------------------------------------- /engine/src/agents/FireFighter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/agents/FireFighter.java -------------------------------------------------------------------------------- /engine/src/agents/Hospital.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/agents/Hospital.java -------------------------------------------------------------------------------- /engine/src/agents/Organization.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/agents/Organization.java -------------------------------------------------------------------------------- /engine/src/agents/Patient.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/agents/Patient.java -------------------------------------------------------------------------------- /engine/src/core/DataStructure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/core/DataStructure.java -------------------------------------------------------------------------------- /engine/src/core/GlobalRandom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/core/GlobalRandom.java -------------------------------------------------------------------------------- /engine/src/core/ImageObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/core/ImageObject.java -------------------------------------------------------------------------------- /engine/src/core/Map.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/core/Map.java -------------------------------------------------------------------------------- /engine/src/core/Msg.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/core/Msg.java -------------------------------------------------------------------------------- /engine/src/core/MsgRouter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/core/MsgRouter.java -------------------------------------------------------------------------------- /engine/src/core/RuntimeMonitoring.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/core/RuntimeMonitoring.java -------------------------------------------------------------------------------- /engine/src/core/SoSImage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/core/SoSImage.java -------------------------------------------------------------------------------- /engine/src/core/SoSObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/core/SoSObject.java -------------------------------------------------------------------------------- /engine/src/core/TextObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/core/TextObject.java -------------------------------------------------------------------------------- /engine/src/core/Tile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/core/Tile.java -------------------------------------------------------------------------------- /engine/src/core/World.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/core/World.java -------------------------------------------------------------------------------- /engine/src/log/Log.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/log/Log.java -------------------------------------------------------------------------------- /engine/src/log/Snapshot.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/log/Snapshot.java -------------------------------------------------------------------------------- /engine/src/main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/main.java -------------------------------------------------------------------------------- /engine/src/misc/ExcelHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/misc/ExcelHelper.java -------------------------------------------------------------------------------- /engine/src/misc/Position.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/misc/Position.java -------------------------------------------------------------------------------- /engine/src/misc/Range.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/misc/Range.java -------------------------------------------------------------------------------- /engine/src/misc/Size.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/misc/Size.java -------------------------------------------------------------------------------- /engine/src/misc/Time.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/misc/Time.java -------------------------------------------------------------------------------- /engine/src/property/MCIAbsenceChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCIAbsenceChecker.java -------------------------------------------------------------------------------- /engine/src/property/MCIBoundedExistenceChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCIBoundedExistenceChecker.java -------------------------------------------------------------------------------- /engine/src/property/MCIMaximumDurationChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCIMaximumDurationChecker.java -------------------------------------------------------------------------------- /engine/src/property/MCIMinimumDurationChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCIMinimumDurationChecker.java -------------------------------------------------------------------------------- /engine/src/property/MCINumberofEventsChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCINumberofEventsChecker.java -------------------------------------------------------------------------------- /engine/src/property/MCIPrecedenceChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCIPrecedenceChecker.java -------------------------------------------------------------------------------- /engine/src/property/MCIPreventionChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCIPreventionChecker.java -------------------------------------------------------------------------------- /engine/src/property/MCIProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCIProperty.java -------------------------------------------------------------------------------- /engine/src/property/MCIPropertyChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCIPropertyChecker.java -------------------------------------------------------------------------------- /engine/src/property/MCIRecurrenceChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCIRecurrenceChecker.java -------------------------------------------------------------------------------- /engine/src/property/MCIResponseChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCIResponseChecker.java -------------------------------------------------------------------------------- /engine/src/property/MCISteadySPChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCISteadySPChecker.java -------------------------------------------------------------------------------- /engine/src/property/MCITransientSPChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCITransientSPChecker.java -------------------------------------------------------------------------------- /engine/src/property/MCIUniversalityChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCIUniversalityChecker.java -------------------------------------------------------------------------------- /engine/src/property/MCIUntilChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/MCIUntilChecker.java -------------------------------------------------------------------------------- /engine/src/property/Property.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/Property.java -------------------------------------------------------------------------------- /engine/src/property/PropertyChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/PropertyChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/AbsenceChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/AbsenceChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/BoundedExistenceChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/BoundedExistenceChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/ExistenceChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/ExistenceChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/ExistenceUntilChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/ExistenceUntilChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/MaximumDurationChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/MaximumDurationChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/MinimumDurationChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/MinimumDurationChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/NumberofEventsChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/NumberofEventsChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/PrecedenceChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/PrecedenceChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/PreventionChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/PreventionChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/RecurrenceChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/RecurrenceChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/ResponseChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/ResponseChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/SteadyStateProbabilityChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/SteadyStateProbabilityChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/TransientStateProbabilityChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/TransientStateProbabilityChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/UniversalityChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/UniversalityChecker.java -------------------------------------------------------------------------------- /engine/src/property/pattern/UntilChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/property/pattern/UntilChecker.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/AgentEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/AgentEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/Event.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/Event.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/RuntimeProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/RuntimeProperty.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/Scope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/Scope.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/SoSEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/SoSEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/AllAmbulanceRouteEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/AllAmbulanceRouteEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/AllFirefighterHaltEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/AllFirefighterHaltEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/AllFirefighterNotHaltEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/AllFirefighterNotHaltEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/AllPatientArriveAtHospitalEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/AllPatientArriveAtHospitalEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/AmbulanceFreeEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/AmbulanceFreeEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/AmbulanceMoveEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/AmbulanceMoveEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/FirefighterFirstAidEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/FirefighterFirstAidEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/PatientArriveAtBridgeheadEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/PatientArriveAtBridgeheadEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/PatientGetFirstAidAgainEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/PatientGetFirstAidAgainEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/PatientGetFirstAidEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/PatientGetFirstAidEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/RescuedRateEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/RescuedRateEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/TreatmentRate100Event.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/TreatmentRate100Event.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/TreatmentRescuedRateEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/TreatmentRescuedRateEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/event/UnvisitedTileEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/event/UnvisitedTileEvent.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/pattern/RuntimeAbsence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/pattern/RuntimeAbsence.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/pattern/RuntimeBoundedExistence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/pattern/RuntimeBoundedExistence.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/pattern/RuntimeExistence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/pattern/RuntimeExistence.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/pattern/RuntimeMaximumDuration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/pattern/RuntimeMaximumDuration.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/pattern/RuntimeMinimumDuration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/pattern/RuntimeMinimumDuration.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/pattern/RuntimePrecedence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/pattern/RuntimePrecedence.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/pattern/RuntimePrevention.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/pattern/RuntimePrevention.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/pattern/RuntimeRecurrence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/pattern/RuntimeRecurrence.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/pattern/RuntimeResponse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/pattern/RuntimeResponse.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/pattern/RuntimeUniversality.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/pattern/RuntimeUniversality.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/pattern/RuntimeUntil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/pattern/RuntimeUntil.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/scope/AfterScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/scope/AfterScope.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/scope/BeforeScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/scope/BeforeScope.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/scope/BetweenScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/scope/BetweenScope.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/scope/DuringScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/scope/DuringScope.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/scope/GloballyScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/scope/GloballyScope.java -------------------------------------------------------------------------------- /engine/src/runtimeproperty/scope/IntervalScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/runtimeproperty/scope/IntervalScope.java -------------------------------------------------------------------------------- /engine/src/simulation/SoSSimulationProgram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/simulation/SoSSimulationProgram.java -------------------------------------------------------------------------------- /engine/src/stimulus/EntityStimulus/AddEntity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/EntityStimulus/AddEntity.java -------------------------------------------------------------------------------- /engine/src/stimulus/EntityStimulus/Entity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/EntityStimulus/Entity.java -------------------------------------------------------------------------------- /engine/src/stimulus/EntityStimulus/RemoveEntity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/EntityStimulus/RemoveEntity.java -------------------------------------------------------------------------------- /engine/src/stimulus/MessageStimulus/Delay.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/MessageStimulus/Delay.java -------------------------------------------------------------------------------- /engine/src/stimulus/MessageStimulus/Loss.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/MessageStimulus/Loss.java -------------------------------------------------------------------------------- /engine/src/stimulus/MessageStimulus/Message.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/MessageStimulus/Message.java -------------------------------------------------------------------------------- /engine/src/stimulus/Reflection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/Reflection.java -------------------------------------------------------------------------------- /engine/src/stimulus/StateStimulus/Injury.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/StateStimulus/Injury.java -------------------------------------------------------------------------------- /engine/src/stimulus/StateStimulus/State.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/StateStimulus/State.java -------------------------------------------------------------------------------- /engine/src/stimulus/Stimulus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/Stimulus.java -------------------------------------------------------------------------------- /engine/src/stimulus/ValueStimulus/CommunicationRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/ValueStimulus/CommunicationRange.java -------------------------------------------------------------------------------- /engine/src/stimulus/ValueStimulus/SightRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/ValueStimulus/SightRange.java -------------------------------------------------------------------------------- /engine/src/stimulus/ValueStimulus/Speed.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/ValueStimulus/Speed.java -------------------------------------------------------------------------------- /engine/src/stimulus/ValueStimulus/Value.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/stimulus/ValueStimulus/Value.java -------------------------------------------------------------------------------- /engine/src/verifier/RuntimeVerifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/verifier/RuntimeVerifier.java -------------------------------------------------------------------------------- /engine/src/verifier/SPRT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/verifier/SPRT.java -------------------------------------------------------------------------------- /engine/src/verifier/Verifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/engine/src/verifier/Verifier.java -------------------------------------------------------------------------------- /out/artifacts/Test_Simulator_jar/Aspect_Test.aj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/out/artifacts/Test_Simulator_jar/Aspect_Test.aj -------------------------------------------------------------------------------- /out/artifacts/Test_Simulator_jar/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Class-Path: aspectjrt.jar 2 | 3 | -------------------------------------------------------------------------------- /out/artifacts/Test_Simulator_jar/Test_Simulator.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/out/artifacts/Test_Simulator_jar/Test_Simulator.jar -------------------------------------------------------------------------------- /out/artifacts/Test_Simulator_jar/Test_Simulator/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Main-Class: main 3 | 4 | -------------------------------------------------------------------------------- /out/artifacts/Test_Simulator_jar/weaved.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/out/artifacts/Test_Simulator_jar/weaved.jar -------------------------------------------------------------------------------- /out/artifacts/Test_Simulator_jar/weaved1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/psumin/SoS-Runtime-Monitoring/HEAD/out/artifacts/Test_Simulator_jar/weaved1.jar -------------------------------------------------------------------------------- /out/production/Test_Simulator/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Main-Class: main 3 | 4 | --------------------------------------------------------------------------------