test

Author: Nyan11

src/BaselineOfExecutableRequirements/BaselineOfExecutableRequirements.class.st

@@ -29,8 +29,11 @@ BaselineOfExecutableRequirements >> baselineForCommon: spec [
 
 { #category : 'baselines' }
 BaselineOfExecutableRequirements >> coreDependencies: spec [
-
 	"No dependencies"
+	spec
+		baseline: 'MethodProxies'
+		with: [ spec repository: 'github://Nyan11/MethodProxies/src' ]
+	
 ]
 
 { #category : 'baselines' }

src/ExecutableRequirements-Toplo-Example/ExReqToploLoginRequirements.class.st

@@ -1006,9 +1006,14 @@ ExReqToploLoginRequirements >> capella_requirement_3 [
 				  (ExReqToploLoginSimulation >> #authenticateUsername:password:)
 					  ast
 				  withPrecondition: [ :obj :args |
-					  (obj
-						   perform: #authenticateUsername:password:
-						   withArguments: args) not ].
+					  [
+					  obj
+						  perform: #authenticateUsername:password:
+						  withArguments: args.
+					  false ]
+						  on: Exception
+						  do: [ true ] ]
+				  withPostcondition: [ true ].
 			  verif
 				  addStepOnAST: (ExReqToploLoginWidget >> #loginAction) ast
 				  withPostcondition: [ :obj :args |

src/ExecutableRequirements-Toplo-Example/ExReqToploLoginSimulation.class.st

@@ -57,7 +57,7 @@ ExReqToploLoginSimulation >> authenticateUsername: aUsernameString password: aPa
 	self database
 		at: aUsernameString
 		ifPresent: [ :value | ^ aPasswordString = value ]
-		ifAbsent: [ ^ false ]
+		ifAbsent: [ Exception signal: 'Wrong credentials' ]
 ]
 
 { #category : 'as yet unclassified' }

src/ExecutableRequirements-Toplo-Example/ExReqToploLoginWidget.class.st

@@ -367,11 +367,11 @@ ExReqToploLoginWidget >> initialize [
 { #category : 'as yet unclassified' }
 ExReqToploLoginWidget >> loginAction [
 
-	(self authenticationBlock
-		 value: self usernameValue
-		 value: self passwordValue)
-		ifTrue: [ self loginBlock value ]
-		ifFalse: [
+	[ self authenticationBlock
+		  value: self usernameValue
+		  value: self passwordValue.
+			self loginBlock value ]
+		on: Exception do: [ :error |
 			self loginStatusContainer visibility: BlVisibility visible.
 			self passwordInput text: '' ]
 ]

src/ExecutableRequirements/ExReqRepositoryReport.class.st

@@ -4,8 +4,8 @@ Class {
 	#instVars : [
 		'requirementReports',
 		'repository',
-		'tracingPoints',
-		'announcer'
+		'announcer',
+		'builder'
 	],
 	#category : 'ExecutableRequirements-Model-Report',
 	#package : 'ExecutableRequirements',
@@ -73,6 +73,12 @@ ExReqRepositoryReport >> associatedPackages [
 	^ self repository associatedPackages.
 ]
 
+{ #category : 'as yet unclassified' }
+ExReqRepositoryReport >> builder [
+
+	^ builder
+]
+
 { #category : 'as yet unclassified' }
 ExReqRepositoryReport >> closeReport [
 
@@ -81,40 +87,6 @@ ExReqRepositoryReport >> closeReport [
 	requirementReports := {  }
 ]
 
-{ #category : 'as yet unclassified' }
-ExReqRepositoryReport >> createTracingPoints [
-
-	| stepReports preconditionNodeDictionary postconditionNodeDictionary|
-	"
-	- Step1: Get all step reports.
-	- Step2: Create a dictionary with all ast ->  step reports.
-	- Step3: Create all PreconditionTracingPoint.
-	- Step4: Create a dictionary with all ast & ast methodNode ->  step reports.
-	- Step5: Create all PostconditionTracingPoint.
-	"
-	stepReports := self requirementReports flatCollect: [ :req |
-		               req verificationReports flatCollect: #stepReports ].
-	preconditionNodeDictionary := Dictionary new.
-	postconditionNodeDictionary := Dictionary new.
-	stepReports do: [ :stepReport |
-		preconditionNodeDictionary
-			at: stepReport step node
-			ifPresent: [ :col | col add: stepReport ]
-			ifAbsentPut: [ OrderedCollection with: stepReport ].
-		postconditionNodeDictionary
-			at: stepReport step node
-			ifPresent: [ :col | col add: stepReport ]
-			ifAbsentPut: [ Set with: stepReport ].
-		postconditionNodeDictionary
-			at: stepReport step node methodNode
-			ifPresent: [ :col | col add: stepReport ]
-			ifAbsentPut: [ Set with: stepReport ].
-		 ].
-	self tracingPoints: OrderedCollection new.
-	self tracingPoints addAll: (preconditionNodeDictionary associations collect: [ :asso | ExReqTracingPoint installPreconditionOn: asso key withStepReports: asso value ]).
-	self tracingPoints addAll: (postconditionNodeDictionary associations collect: [ :asso | ExReqTracingPoint installPostconditionOn: asso key withStepReports: asso value ]).
-]
-
 { #category : 'as yet unclassified' }
 ExReqRepositoryReport >> findRequirementReport: anExReqRequirement [
 	| result |
@@ -128,15 +100,17 @@ ExReqRepositoryReport >> findRequirementReport: anExReqRequirement [
 ExReqRepositoryReport >> initialize [
 
 	super initialize.
-	tracingPoints := OrderedCollection new.
-	announcer := Announcer new
+	announcer := Announcer new.
+	builder := NeoExReqInstrumentationBuilder new.
 ]
 
 { #category : 'as yet unclassified' }
 ExReqRepositoryReport >> installTracingPoints [
 
-	self createTracingPoints.
-	self tracingPoints do: [ :each | each install ].
+	| stepReports |
+	stepReports := self requirementReports flatCollect: [ :req |
+		               req verificationReports flatCollect: #stepReports ].
+	self builder installAllStepReports: stepReports.
 	self isInstalled: true.
 	self isRunning: true.
 	self annouceTracingPointInstalled
@@ -157,8 +131,7 @@ ExReqRepositoryReport >> isValid [
 { #category : 'as yet unclassified' }
 ExReqRepositoryReport >> removeTracingPoints [
 
-	self tracingPoints do: [ :each | each remove ].
-	self tracingPoints: {  }.
+	self builder uninstallAllStepReports.
 	self isRunning: false.
 	self annouceTracingPointRemoved
 ]
@@ -189,15 +162,3 @@ ExReqRepositoryReport >> subReports [
 
 	^ self requirementReports
 ]
-
-{ #category : 'accessing' }
-ExReqRepositoryReport >> tracingPoints [
-
-	^ tracingPoints
-]
-
-{ #category : 'accessing' }
-ExReqRepositoryReport >> tracingPoints: aCollection [
-
-	tracingPoints := aCollection
-]

src/ExecutableRequirements/ExReqStepReport.class.st

@@ -177,6 +177,47 @@ ExReqStepReport >> subReports [
 	^ {  }
 ]
 
+{ #category : 'as yet unclassified' }
+ExReqStepReport >> verifyPostconditionWithReceiver: anObject withArguments: aCollection [
+
+	self step ifNil: [ ^ self ].
+	postconditionValidity ifTrue: [ ^ self ].
+	self preconditionIsValid ifFalse: [ ^ self ].
+	self step postcondition ifNil: [
+		postconditionValidity := true.
+		self announceValidity.
+		^ self ].
+	postconditionValidity := self hasPostcondition
+		                         ifTrue: [
+			                         self step postcondition
+				                         valueWithEnoughArguments: {
+						                        anObject.
+						                         aCollection.
+						                         self requirement } ]
+		                         ifFalse: [ true ].
+
+	self isValid ifTrue: [ self announceValidity ]
+]
+
+{ #category : 'as yet unclassified' }
+ExReqStepReport >> verifyPreconditionWithReceiver: anObject withArguments: aCollection [ 
+	trigger := true.
+	preconditionValidity ifTrue: [ ^ self ].
+	self isPreviousStepValid ifFalse: [
+		preconditionValidity := false.
+		postconditionValidity := false.
+		^ self ].
+	preconditionValidity := self hasPrecondition
+		                        ifTrue: [
+			                        self step precondition
+				                        valueWithEnoughArguments: {
+						                        anObject.
+						                        aCollection.
+						                        self requirement } ]
+		                        ifFalse: [ true ].
+	self isValid ifTrue: [ self announceValidity ]
+]
+
 { #category : 'as yet unclassified' }
 ExReqStepReport >> verifyStepPostconditionWithContext: aContext [
 	"

src/ExecutableRequirements/ExReqTracingPoint.class.st

@@ -127,7 +127,7 @@ ExReqTracingPoint >> metaLink [
 { #category : 'accessing' }
 ExReqTracingPoint >> name [
 
-	^ name ifNil: [ #TracingPoint ]
+	^ name ifNil: [ name := #TracingPoint ]
 ]
 
 { #category : 'default values' }