cafekrem / ptl Goto Github PK

View Code? Open in Web Editor NEW

1.0 1.0 1.0 257 KB

Pharo transformation Language is a transformation model language like ALT tefkat.

License: MIT License

Smalltalk 100.00%

pharo smalltalk model-transformations model-driven-development

ptl's People

Contributors

Stargazers

Watchers

Forkers

alesshosry

ptl's Issues

[Pattern-matching ] ContainMatcher

example

Class suchAs: {
  #slotNames -> ContainMatcher element: #toto
}

can use collection as argument of ContainerMatcher

Class suchAs: {
  #slotNames -> ContainMatcher element: { #toto . #patrick}
 }

[Pharo ] error on Pharo 8 but not in pharo 9

testJokerMatcher3
	| pattern a |
	pattern := RBMessageNode suchAs: {(#selector -> #'@selector')}.
	self
		assert:
			((pattern match: ([ 1 -> 3 ] sourceNode statements at: 1))
				at: #selector)
		equals: '->'.	"Me retourne uniquement '-' et pas '->'"
	self
		assert:
			((pattern match: ([ a foo ] sourceNode statements at: 1))
				at: #selector)
		equals: 'foo'

[Pattern Matching] when match a symbol should be a symbol

testMatchSymbolShouldBeSymbol

	| pattern a pattern0 |
	pattern0 := #'@x' asMatcher.

	pattern := RBMessageNode suchAs:
		           { (#selector -> RBSelectorNode suchAs:
			            { (#value -> #'@selector') }) }.
	self assert: (((pattern0 match: #klm) at: #x) isKindOf: Symbol).
	self deny: (((pattern0 match: 'klm') at: #x) isKindOf: Symbol).
	self assert:
		(((pattern match: ([ 1 -> 3 ] sourceNode statements at: 1)) at:
			  #selector) isKindOf: Symbol).
	self assert:
		(((pattern match: ([ a foo ] sourceNode statements at: 1)) at:
			  #selector) isKindOf: Symbol)

[PatternMatching] change iteration model for pattern matching algo

[PatternMatching] Pattern on String don't work , come from String explosion

testStringMatcher4

	| pattern |
	pattern := String named: #x.
	self assert: (pattern match: 'klm') isMatch.
	self assert: ((pattern match: 'klm') at: #x) equals: 'klm'

[CI] remove dependancy on Moose

actually test case are built on FAST-Pharo , maybe replace it by RBAST ?

[Pattern Matching] JokerMatch match aCollection should capture all the collection

a joker should match any object

result := #'@x' asMatcher match: { 1 . 2 . 3 }.
self assertCollection: (result at: #x) hasSameElement: { 1 . 2 . 3 }

[Pattern-matching] modelReference add error

when executing this it's should return an error

pattern := PTLTestClassA suchAs: { #klm -> 'klm' }.
pattern match: PTLTestClassA new "should raise an error"

[Pattern-matching] navigation shorcut

RBVariableNode suchAs: {
    #name -> #'@name'.
    #methodNode -> RBMethodNode suchAs: {
        #methodClass -> Class suchAs: { 
            #slotNames -> #( #'*' #'@name' #'*')
        } 
    }
}

become

RBVariableNode suchAs: {
    #name -> #'@name'.
    #'methodNode methodClass' -> Class suchAs: { 
            #slotNames -> ContainMatcher element: #'@name'
        }
}

or become this

RBVariableNode suchAs: {
    #name -> #'@name'.
    #'methodNode>methodClass' -> Class suchAs: { 
            #slotNames -> ContainMatcher element: #'@name'
        }
}

[Pattern matching ] add a way to express depth of a pattern matching

example we want to express something like this:

p1 := (ReturnStatement suchAs: { StringLiteral} depth: #*).
p2 := (ReturnStatement suchAs: { StringLiteral} depth: #1)

p2 match: [^ 1 + 5] "true"
p1 match: [^ 1 + 5] "false"

[PatternMatcher] JokerMatcher >> #hasMatch:withContext: inside don't use match maybe use hasNext

extract testPackage to another package

[Pattern-matching] a list matcher with one element should match only a list with this element

pattern := { 1  } asMatcher

(pattern match: { 1 }) isMatch

should be true

(pattern match: { 1 . 2 }) isMatch

should be false

[Pattern matcher ] add a Non Applicative Condition.

[Pattern matching] add repetition

we should a way to express something like this :

pattern := {String repeat: 3 . 100 } asMatcher.
self assert: (pattern match: { '1' . '2' . '3' . 100}) isMatch.
self deny:  (pattern match: { '1' . '2' . 100}) isMatch.
self assert:  (pattern match: { '1' . '2' . '3' . 100 . 100}) isMatch.
self deny:  (pattern match: { 100}) isMatch

maybe use Interval

pattern := {String repeat: #(1 3) . 100} asMatcher "repeat between 1 and 3 times"
self assert: (pattern match: { '1' . '2' . '3' . 100}) isMatch.
self assert:  (pattern match: { '1' . '2' . 100}) isMatch.
self assert:  (pattern match: { '1' . '2' . '3' . 100 . 100}) isMatch.
self deny:  (pattern match: { 100}) isMatch.
self assert: (pattern match: {'1' . 100 }) isMatch

[PatternMatching-Test] upgrade the hierarchy.

when a dev implement a new matcher some property should be respected like:

((aMatcher named: #toto)  match: someThingThatMatchWithaMatcher)  at: toto "contentOf someThingThatMatchWithaMatcher"

[Pattern Matching ] typo error , rename MooseObject>>#MTLequalsTo: with a betterName

MooseObject>>#MTLequalsTo: , is responsible of asking if 2 mooseEntity are equals.

maybe rename in conformTo:

[pattern-matching ] add visualisation when inspecting pattern

using spec , add a tree of pattern