Skip to content

Commit

Permalink
Moved to Tonel 3
Browse files Browse the repository at this point in the history
  • Loading branch information
@JanBliznicenko
JanBliznicenko committed Jun 18, 2024
1 parent 0577776 commit 6810afa
Show file tree
Hide file tree
Showing 84 changed files with 751 additions and 592 deletions.
9 changes: 5 additions & 4 deletions repository/BaselineOfBPMN/BaselineOfBPMN.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,10 +1,11 @@
Class {
#name : #BaselineOfBPMN,
#superclass : #BaselineOf,
#category : #BaselineOfBPMN
#name : 'BaselineOfBPMN',
#superclass : 'BaselineOf',
#category : 'BaselineOfBPMN',
#package : 'BaselineOfBPMN'
}

{ #category : #baselines }
{ #category : 'baselines' }
BaselineOfBPMN >> baseline: spec [

<baseline>
Expand Down
2 changes: 1 addition & 1 deletion repository/BaselineOfBPMN/package.st
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
Package { #name : #BaselineOfBPMN }
Package { #name : 'BaselineOfBPMN' }
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/AC01MessageReceive.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #AC01MessageReceive,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'AC01MessageReceive',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
AC01MessageReceive class >> validateClass [
^ OPBPMNActivityModel.
]

{ #category : #verification }
{ #category : 'verification' }
AC01MessageReceive >> validateObject: aVerifiedObject withModel: aVerifiedModel [

| counter |
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/AC02MessageSend.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #AC02MessageSend,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'AC02MessageSend',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
AC02MessageSend class >> validateClass [
^ OPBPMNActivityModel.
]

{ #category : #verification }
{ #category : 'verification' }
AC02MessageSend >> validateObject: aVerifiedObject withModel: aVerifiedModel [

| counter |
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/AC03MessageReceiveOther.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #AC03MessageReceiveOther,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'AC03MessageReceiveOther',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
AC03MessageReceiveOther class >> validateClass [
^ OPBPMNActivityModel.
]

{ #category : #verification }
{ #category : 'verification' }
AC03MessageReceiveOther >> validateObject: aVerifiedObject withModel: aVerifiedModel [
| counter |
(aVerifiedObject isKindOf: OPBPMNActivityModel) ifTrue: [
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/AC04MessageSendOther.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #AC04MessageSendOther,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'AC04MessageSendOther',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
AC04MessageSendOther class >> validateClass [
^ OPBPMNActivityModel.
]

{ #category : #verification }
{ #category : 'verification' }
AC04MessageSendOther >> validateObject: aVerifiedObject withModel: aVerifiedModel [
| counter |
(aVerifiedObject isKindOf: OPBPMNActivityModel) ifTrue: [
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/AC05ActivityMergingFlows.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #AC05ActivityMergingFlows,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'AC05ActivityMergingFlows',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
AC05ActivityMergingFlows class >> validateClass [
^ OPBPMNActivityModel.
]

{ #category : #verification }
{ #category : 'verification' }
AC05ActivityMergingFlows >> validateObject: aVerifiedObject withModel: aVerifiedModel [
| counterIn counterOut |
(aVerifiedObject isKindOf: OPBPMNActivityModel) ifTrue: [
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/AN01FlowNodeIncomingFlow.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #AN01FlowNodeIncomingFlow,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'AN01FlowNodeIncomingFlow',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
AN01FlowNodeIncomingFlow class >> validateClass [
^ OPBPMNFlowNodeModel.
]

{ #category : #verification }
{ #category : 'verification' }
AN01FlowNodeIncomingFlow >> validateObject: aVerifiedObject withModel: aVerifiedModel [

| counter |
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/AN02FlowNodeOutgoingFlow.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #AN02FlowNodeOutgoingFlow,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'AN02FlowNodeOutgoingFlow',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
AN02FlowNodeOutgoingFlow class >> validateClass [
^ OPBPMNFlowNodeModel.
]

{ #category : #verification }
{ #category : 'verification' }
AN02FlowNodeOutgoingFlow >> validateObject: aVerifiedObject withModel: aVerifiedModel [
| counter |
(aVerifiedObject isKindOf: OPBPMNFlowNodeModel) ifTrue: [
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/AN03MaxOneDefaultFlow.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #AN03MaxOneDefaultFlow,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'AN03MaxOneDefaultFlow',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
AN03MaxOneDefaultFlow class >> validateClass [
^ OPBPMNFlowNodeModel.
]

{ #category : #verification }
{ #category : 'verification' }
AN03MaxOneDefaultFlow >> validateObject: aVerifiedObject withModel: aVerifiedModel [

| aCounter |
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/AN04LabeledMessageFlow.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #AN04LabeledMessageFlow,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'AN04LabeledMessageFlow',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
AN04LabeledMessageFlow class >> validateClass [
^ OPBPMNNodeModel.
]

{ #category : #verification }
{ #category : 'verification' }
AN04LabeledMessageFlow >> validateObject: aVerifiedObject withModel: aVerifiedModel [

| counter |
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/AN05LabelValidation.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #AN05LabelValidation,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'AN05LabelValidation',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
AN05LabelValidation class >> validateClass [
^ OPBPMNNodeModel.
]

{ #category : #verification }
{ #category : 'verification' }
AN05LabelValidation >> validateObject: aVerifiedObject withModel: aVerifiedModel [

| size |
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/AN06OnlyConditionalFlow.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #AN06OnlyConditionalFlow,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'AN06OnlyConditionalFlow',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
AN06OnlyConditionalFlow class >> validateClass [
^ OPBPMNFlowNodeModel.
]

{ #category : #verification }
{ #category : 'verification' }
AN06OnlyConditionalFlow >> validateObject: aVerifiedObject withModel: aVerifiedModel [

(aVerifiedObject isKindOf: OPBPMNFlowNodeModel) ifTrue: [
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/BE02OneSequenceFlow.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #BE02OneSequenceFlow,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'BE02OneSequenceFlow',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
BE02OneSequenceFlow class >> validateClass [
^ OPBPMNBoundaryEventModel.
]

{ #category : #verification }
{ #category : 'verification' }
BE02OneSequenceFlow >> validateObject: aVerifiedObject withModel: aVerifiedModel [

(aVerifiedObject isKindOf: OPBPMNBoundaryEventModel) ifTrue: [
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/BE03BoundaryErrorSibling.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #BE03BoundaryErrorSibling,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'BE03BoundaryErrorSibling',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
BE03BoundaryErrorSibling class >> validateClass [
^ OPBPMNBoundaryEventModel.
]

{ #category : #verification }
{ #category : 'verification' }
BE03BoundaryErrorSibling >> validateObject: aVerifiedObject withModel: aVerifiedModel [
| counter |
(aVerifiedObject isKindOf: OPBPMNBoundaryEventModel) ifTrue: [
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/BE04BoundaryEscalationSibling.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #BE04BoundaryEscalationSibling,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'BE04BoundaryEscalationSibling',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
BE04BoundaryEscalationSibling class >> validateClass [
^ OPBPMNBoundaryEventModel.
]

{ #category : #verification }
{ #category : 'verification' }
BE04BoundaryEscalationSibling >> validateObject: aVerifiedObject withModel: aVerifiedModel [
| counter |
(aVerifiedObject isKindOf: OPBPMNBoundaryEventModel) ifTrue: [
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/BE05ErrorNonInterrupting.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #BE05ErrorNonInterrupting,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'BE05ErrorNonInterrupting',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
BE05ErrorNonInterrupting class >> validateClass [
^ OPBPMNBoundaryEventModel.
]

{ #category : #verification }
{ #category : 'verification' }
BE05ErrorNonInterrupting >> validateObject: aVerifiedObject withModel: aVerifiedModel [

(aVerifiedObject isKindOf: OPBPMNBoundaryEventModel) ifTrue: [
Expand Down
12 changes: 7 additions & 5 deletions repository/OpenPonk-BPMN-Validation/EE03MessageSend.class.st
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,17 @@
Class {
#name : #EE03MessageSend,
#superclass : #OPBPMNValidation,
#category : #'OpenPonk-BPMN-Validation-Validation-Classes'
#name : 'EE03MessageSend',
#superclass : 'OPBPMNValidation',
#category : 'OpenPonk-BPMN-Validation-Validation-Classes',
#package : 'OpenPonk-BPMN-Validation',
#tag : 'Validation-Classes'
}

{ #category : #'as yet unclassified' }
{ #category : 'as yet unclassified' }
EE03MessageSend class >> validateClass [
^ OPBPMNEndEventModel.
]

{ #category : #verification }
{ #category : 'verification' }
EE03MessageSend >> validateObject: aVerifiedObject withModel: aVerifiedModel [

(aVerifiedObject isKindOf: OPBPMNEndEventModel) ifTrue: [
Expand Down
Loading

0 comments on commit 6810afa

Please sign in to comment.