├── CITATIONS.md ├── FORMAL_SEMANTICS.md ├── LICENSE ├── Makefile ├── README.md ├── doc.go ├── docs ├── statecharts │ └── v1 │ │ ├── statechart_service.md │ │ └── statecharts.md └── validation │ └── v1 │ └── validator.md ├── gen ├── statecharts │ └── v1 │ │ ├── statechart_service.pb.go │ │ ├── statechart_service_grpc.pb.go │ │ └── statecharts.pb.go └── validation │ └── v1 │ ├── validator.pb.go │ └── validator_grpc.pb.go ├── go.mod ├── go.sum ├── proto ├── Makefile ├── buf.gen.yaml ├── buf.lock ├── buf.yaml ├── go.mod ├── go.sum ├── statecharts │ └── v1 │ │ ├── statechart_service.proto │ │ └── statecharts.proto ├── tools.go └── validation │ └── v1 │ └── validator.proto ├── semantics └── v1 │ ├── charts.go │ ├── charts_test.go │ ├── charts_validate.go │ ├── charts_validate_test.go │ ├── charts_validate_updated.go │ ├── configuration.go │ ├── configuration_test.go │ ├── doc.go │ ├── errors.go │ ├── event.go │ ├── event_test.go │ ├── events.go │ ├── events_doc.go │ ├── events_integration_test.go │ ├── events_simple_test.go │ ├── events_test.go │ ├── example_statecharts_test.go │ ├── examples │ ├── README.md │ ├── compound_statechart.go │ ├── compound_statechart_test.go │ ├── core_harel_test.go │ ├── doc.go │ ├── event_processor_example.go │ ├── hierarchical_statechart.go │ ├── hierarchical_statechart_test.go │ ├── history_statechart.go │ ├── history_statechart_test.go │ ├── hotel_evanstonian.go │ ├── hotel_evanstonian_test.go │ ├── orthogonal_statechart.go │ └── orthogonal_statechart_test.go │ ├── machine.go │ ├── machine_integration_test.go │ ├── machine_test.go │ ├── machine_wrapper_test.go │ ├── state_semantics_test.go │ ├── statecharts.go │ ├── statelabel.go │ ├── states.go │ ├── states_test.go │ ├── transition_test.go │ └── transitions.go ├── statecharts └── v1 │ ├── bridge.go │ ├── bridge_test.go │ ├── orthogonal_example_test.go │ └── orthogonal_test.go ├── testing └── testutil.go ├── types.go ├── validation └── v1 │ ├── rules.go │ ├── rules_test.go │ ├── validator.go │ └── validator_test.go └── xstate └── doc.go /CITATIONS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/CITATIONS.md -------------------------------------------------------------------------------- /FORMAL_SEMANTICS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/FORMAL_SEMANTICS.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/README.md -------------------------------------------------------------------------------- /doc.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/doc.go -------------------------------------------------------------------------------- /docs/statecharts/v1/statechart_service.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/docs/statecharts/v1/statechart_service.md -------------------------------------------------------------------------------- /docs/statecharts/v1/statecharts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/docs/statecharts/v1/statecharts.md -------------------------------------------------------------------------------- /docs/validation/v1/validator.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/docs/validation/v1/validator.md -------------------------------------------------------------------------------- /gen/statecharts/v1/statechart_service.pb.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/gen/statecharts/v1/statechart_service.pb.go -------------------------------------------------------------------------------- /gen/statecharts/v1/statechart_service_grpc.pb.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/gen/statecharts/v1/statechart_service_grpc.pb.go -------------------------------------------------------------------------------- /gen/statecharts/v1/statecharts.pb.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/gen/statecharts/v1/statecharts.pb.go -------------------------------------------------------------------------------- /gen/validation/v1/validator.pb.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/gen/validation/v1/validator.pb.go -------------------------------------------------------------------------------- /gen/validation/v1/validator_grpc.pb.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/gen/validation/v1/validator_grpc.pb.go -------------------------------------------------------------------------------- /go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/go.mod -------------------------------------------------------------------------------- /go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/go.sum -------------------------------------------------------------------------------- /proto/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/proto/Makefile -------------------------------------------------------------------------------- /proto/buf.gen.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/proto/buf.gen.yaml -------------------------------------------------------------------------------- /proto/buf.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/proto/buf.lock -------------------------------------------------------------------------------- /proto/buf.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/proto/buf.yaml -------------------------------------------------------------------------------- /proto/go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/proto/go.mod -------------------------------------------------------------------------------- /proto/go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/proto/go.sum -------------------------------------------------------------------------------- /proto/statecharts/v1/statechart_service.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/proto/statecharts/v1/statechart_service.proto -------------------------------------------------------------------------------- /proto/statecharts/v1/statecharts.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/proto/statecharts/v1/statecharts.proto -------------------------------------------------------------------------------- /proto/tools.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/proto/tools.go -------------------------------------------------------------------------------- /proto/validation/v1/validator.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/proto/validation/v1/validator.proto -------------------------------------------------------------------------------- /semantics/v1/charts.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/charts.go -------------------------------------------------------------------------------- /semantics/v1/charts_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/charts_test.go -------------------------------------------------------------------------------- /semantics/v1/charts_validate.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/charts_validate.go -------------------------------------------------------------------------------- /semantics/v1/charts_validate_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/charts_validate_test.go -------------------------------------------------------------------------------- /semantics/v1/charts_validate_updated.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/charts_validate_updated.go -------------------------------------------------------------------------------- /semantics/v1/configuration.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/configuration.go -------------------------------------------------------------------------------- /semantics/v1/configuration_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/configuration_test.go -------------------------------------------------------------------------------- /semantics/v1/doc.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/doc.go -------------------------------------------------------------------------------- /semantics/v1/errors.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/errors.go -------------------------------------------------------------------------------- /semantics/v1/event.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/event.go -------------------------------------------------------------------------------- /semantics/v1/event_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/event_test.go -------------------------------------------------------------------------------- /semantics/v1/events.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/events.go -------------------------------------------------------------------------------- /semantics/v1/events_doc.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/events_doc.go -------------------------------------------------------------------------------- /semantics/v1/events_integration_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/events_integration_test.go -------------------------------------------------------------------------------- /semantics/v1/events_simple_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/events_simple_test.go -------------------------------------------------------------------------------- /semantics/v1/events_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/events_test.go -------------------------------------------------------------------------------- /semantics/v1/example_statecharts_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/example_statecharts_test.go -------------------------------------------------------------------------------- /semantics/v1/examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/README.md -------------------------------------------------------------------------------- /semantics/v1/examples/compound_statechart.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/compound_statechart.go -------------------------------------------------------------------------------- /semantics/v1/examples/compound_statechart_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/compound_statechart_test.go -------------------------------------------------------------------------------- /semantics/v1/examples/core_harel_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/core_harel_test.go -------------------------------------------------------------------------------- /semantics/v1/examples/doc.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/doc.go -------------------------------------------------------------------------------- /semantics/v1/examples/event_processor_example.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/event_processor_example.go -------------------------------------------------------------------------------- /semantics/v1/examples/hierarchical_statechart.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/hierarchical_statechart.go -------------------------------------------------------------------------------- /semantics/v1/examples/hierarchical_statechart_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/hierarchical_statechart_test.go -------------------------------------------------------------------------------- /semantics/v1/examples/history_statechart.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/history_statechart.go -------------------------------------------------------------------------------- /semantics/v1/examples/history_statechart_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/history_statechart_test.go -------------------------------------------------------------------------------- /semantics/v1/examples/hotel_evanstonian.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/hotel_evanstonian.go -------------------------------------------------------------------------------- /semantics/v1/examples/hotel_evanstonian_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/hotel_evanstonian_test.go -------------------------------------------------------------------------------- /semantics/v1/examples/orthogonal_statechart.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/orthogonal_statechart.go -------------------------------------------------------------------------------- /semantics/v1/examples/orthogonal_statechart_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/examples/orthogonal_statechart_test.go -------------------------------------------------------------------------------- /semantics/v1/machine.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/machine.go -------------------------------------------------------------------------------- /semantics/v1/machine_integration_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/machine_integration_test.go -------------------------------------------------------------------------------- /semantics/v1/machine_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/machine_test.go -------------------------------------------------------------------------------- /semantics/v1/machine_wrapper_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/machine_wrapper_test.go -------------------------------------------------------------------------------- /semantics/v1/state_semantics_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/state_semantics_test.go -------------------------------------------------------------------------------- /semantics/v1/statecharts.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/statecharts.go -------------------------------------------------------------------------------- /semantics/v1/statelabel.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/statelabel.go -------------------------------------------------------------------------------- /semantics/v1/states.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/states.go -------------------------------------------------------------------------------- /semantics/v1/states_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/states_test.go -------------------------------------------------------------------------------- /semantics/v1/transition_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/transition_test.go -------------------------------------------------------------------------------- /semantics/v1/transitions.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/semantics/v1/transitions.go -------------------------------------------------------------------------------- /statecharts/v1/bridge.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/statecharts/v1/bridge.go -------------------------------------------------------------------------------- /statecharts/v1/bridge_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/statecharts/v1/bridge_test.go -------------------------------------------------------------------------------- /statecharts/v1/orthogonal_example_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/statecharts/v1/orthogonal_example_test.go -------------------------------------------------------------------------------- /statecharts/v1/orthogonal_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/statecharts/v1/orthogonal_test.go -------------------------------------------------------------------------------- /testing/testutil.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/testing/testutil.go -------------------------------------------------------------------------------- /types.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/types.go -------------------------------------------------------------------------------- /validation/v1/rules.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/validation/v1/rules.go -------------------------------------------------------------------------------- /validation/v1/rules_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/validation/v1/rules_test.go -------------------------------------------------------------------------------- /validation/v1/validator.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/validation/v1/validator.go -------------------------------------------------------------------------------- /validation/v1/validator_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/validation/v1/validator_test.go -------------------------------------------------------------------------------- /xstate/doc.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tmc/sc/HEAD/xstate/doc.go --------------------------------------------------------------------------------