| workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/observers/InitialStateSupervisor.java | 37 | A 1 hr |
|
| workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/observers/SignalTypeConsistencySupervisor.java | 52 | A 0 mins |
|
| workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/serialisation/GuardDeserialiser.java | 15 | A 0 mins |
|
| workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/serialisation/GuardSerialiser.java | 14 | A 0 mins |
|
| workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/tools/SignalGeneratorTool.java | 25 | A 0 mins |
|
| workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/tools/WtgConnectionTool.java | 13 | A 0 mins |
|
| workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/tools/WtgSelectionTool.java | 62 | A 0 mins |
|
| workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/tools/WtgSimulationTool.java | 227 | A 0 mins |
|
| workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/utils/VerificationUtils.java | 1,020 | F 3 days |
|
| workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/utils/WtgUtils.java | 142 | A 3 hrs |
|
| workcraft/WtgPlugin/test-res/org/workcraft/plugins/wtg/buck.wtg.work | |
|
|
| workcraft/WtgPlugin/test-res/org/workcraft/plugins/wtg/dlatch.wtg.work | |
|
|
| workcraft/WtgPlugin/test-res/org/workcraft/plugins/wtg/instruction_decoder.wtg.work | |
|
|
| workcraft/WtgPlugin/test-src/org/workcraft/plugins/wtg/WtgAnonymiseCommandTests.java | 52 | A 0 mins |
|
| workcraft/WtgPlugin/test-src/org/workcraft/plugins/wtg/WtgConversionCommandTests.java | 70 | A 0 mins |
|
| workcraft/WtgPlugin/test-src/org/workcraft/plugins/wtg/WtgPropertiesTests.java | 55 | A 0 mins |
|
| workcraft/WtgPlugin/test-src/org/workcraft/plugins/wtg/WtgSettingsTest.java | 47 | A 1 hr |
|
| workcraft/WtgPlugin/test-src/org/workcraft/plugins/wtg/WtgTransformationCommandTests.java | 46 | A 0 mins |
|
| workcraft/WtgPlugin/test-src/org/workcraft/plugins/wtg/WtgVerificationCommandTests.java | 51 | A 35 mins |
|
| workcraft/XmasPlugin/build.gradle | |
|
|
| workcraft/XmasPlugin/res/images/xmas-node-credit.svg | |
|
|
| workcraft/XmasPlugin/res/images/xmas-node-fork.svg | |
|
|
| workcraft/XmasPlugin/res/images/xmas-node-function.svg | |
|
|
| workcraft/XmasPlugin/res/images/xmas-node-join.svg | |
|
|
| workcraft/XmasPlugin/res/images/xmas-node-merge.svg | |
|
|
| workcraft/XmasPlugin/res/images/xmas-node-queue.svg | |
|
|
| workcraft/XmasPlugin/res/images/xmas-node-sink.svg | |
|
|
| workcraft/XmasPlugin/res/images/xmas-node-source.svg | |
|
|
| workcraft/XmasPlugin/res/images/xmas-node-switch.svg | |
|
|
| workcraft/XmasPlugin/res/images/xmas-node-sync.svg | |
|
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/VisualXmas.java | 68 | A 35 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/VisualXmasDescriptor.java | 12 | A 0 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/Xmas.java | 100 | A 0 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/XmasDescriptor.java | 16 | A 0 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/XmasPlugin.java | 44 | A 45 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/XmasSettings.java | 211 | A 2 hrs |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/ConfigurationCommand.java | 176 | A 0 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/JsonExportCommand.java | 377 | D 2 days |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/PNetExt.java | 150 | A 0 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/PNetGenerationCommand.java | 1,008 | F 1 wk |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/SynchronisationCommand.java | 726 | F 1 wk |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/commands/XmasToStgConversionCommand.java | 25 | A 50 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/CreditComponent.java | 28 | A 0 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/ForkComponent.java | 7 | A 0 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/FunctionComponent.java | 31 | A 0 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/JoinComponent.java | 7 | A 0 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/MergeComponent.java | 7 | A 0 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/QueueComponent.java | 30 | A 0 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/QueueDecoration.java | 5 | A 0 mins |
|
| workcraft/XmasPlugin/src/org/workcraft/plugins/xmas/components/SinkComponent.java | 7 | A 0 mins |
|
