1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00

Merge remote-tracking branch 'origin/master' into charliesome/ruby-method-calls

This commit is contained in:
joshvera 2018-04-09 16:09:48 -04:00
commit 7e1330c5e8
48 changed files with 269 additions and 211 deletions

View File

@ -74,7 +74,6 @@ type Syntax = '[
, Syntax.Identifier , Syntax.Identifier
, Syntax.Paren , Syntax.Paren
, Syntax.Program , Syntax.Program
, Ruby.Syntax.Send
, Ruby.Syntax.Class , Ruby.Syntax.Class
, Ruby.Syntax.Load , Ruby.Syntax.Load
, Ruby.Syntax.LowPrecedenceBoolean , Ruby.Syntax.LowPrecedenceBoolean
@ -84,8 +83,7 @@ type Syntax = '[
] ]
type Term = Term.Term (Union Syntax) (Record Location) type Term = Term.Term (Union Syntax) (Record Location)
type Assignment' a = HasCallStack => Assignment.Assignment [] Grammar a type Assignment = HasCallStack => Assignment.Assignment [] Grammar Term
type Assignment = Assignment' Term
-- | Assignment from AST in Rubys grammar onto a program in Rubys syntax. -- | Assignment from AST in Rubys grammar onto a program in Rubys syntax.
assignment :: Assignment assignment :: Assignment
@ -293,12 +291,9 @@ pair :: Assignment
pair = makeTerm <$> symbol Pair <*> children (Literal.KeyValue <$> expression <*> (expression <|> emptyTerm)) pair = makeTerm <$> symbol Pair <*> children (Literal.KeyValue <$> expression <*> (expression <|> emptyTerm))
methodCall :: Assignment methodCall :: Assignment
methodCall = makeTerm' <$> symbol MethodCall <*> children (require <|> load <|> funcCall <|> regularCall) methodCall = makeTerm' <$> symbol MethodCall <*> children (require <|> load <|> regularCall)
where where
funcCall = inj <$> (Ruby.Syntax.Send Nothing <$> methodSelector <*> args <*> optional block) regularCall = inj <$> (Expression.Call <$> pure [] <*> expression <*> args <*> (block <|> emptyTerm))
regularCall = inj <$> (symbol Call *> children (Ruby.Syntax.Send <$> (Just <$> expression) <*> methodSelector) <*> args <*> optional block)
require = inj <$> (symbol Identifier *> do require = inj <$> (symbol Identifier *> do
s <- source s <- source
guard (s `elem` ["require", "require_relative"]) guard (s `elem` ["require", "require_relative"])
@ -307,17 +302,14 @@ methodCall = makeTerm' <$> symbol MethodCall <*> children (require <|> load <|>
s <- source s <- source
guard (s == "load") guard (s == "load")
Ruby.Syntax.Load <$> loadArgs) Ruby.Syntax.Load <$> loadArgs)
args = (symbol ArgumentList <|> symbol ArgumentListWithParens) *> children (many expression) <|> many expression args = (symbol ArgumentList <|> symbol ArgumentListWithParens) *> children (many expression) <|> pure []
loadArgs = (symbol ArgumentList <|> symbol ArgumentListWithParens) *> children (some expression) loadArgs = (symbol ArgumentList <|> symbol ArgumentListWithParens) *> children (some expression)
nameExpression = (symbol ArgumentList <|> symbol ArgumentListWithParens) *> children expression nameExpression = (symbol ArgumentList <|> symbol ArgumentListWithParens) *> children expression
methodSelector :: Assignment
methodSelector = mk Identifier <|> mk Identifier'
where
mk s = makeTerm <$> symbol s <*> (Syntax.Identifier <$> (name <$> source))
call :: Assignment call :: Assignment
call = makeTerm <$> symbol Call <*> children (Ruby.Syntax.Send <$> (Just <$> expression) <*> methodSelector <*> pure [] <*> optional block) call = makeTerm <$> symbol Call <*> children (Expression.MemberAccess <$> expression <*> (expressions <|> args))
where
args = (symbol ArgumentList <|> symbol ArgumentListWithParens) *> children expressions
rescue :: Assignment rescue :: Assignment
rescue = rescue' rescue = rescue'

View File

@ -36,22 +36,6 @@ maybeFailNotFound name = maybeFail notFound
cleanNameOrPath :: ByteString -> String cleanNameOrPath :: ByteString -> String
cleanNameOrPath = BC.unpack . dropRelativePrefix . stripQuotes cleanNameOrPath = BC.unpack . dropRelativePrefix . stripQuotes
data Send a = Send { sendReceiver :: Maybe a, sendSelector :: a, sendArgs :: [a], sendBlock :: Maybe a }
deriving (Diffable, Eq, Foldable, Functor, GAlign, Generic1, Mergeable, Ord, Show, Traversable, FreeVariables1)
instance Eq1 Send where liftEq = genericLiftEq
instance Ord1 Send where liftCompare = genericLiftCompare
instance Show1 Send where liftShowsPrec = genericLiftShowsPrec
instance Evaluatable Send where
eval Send{..} = do
func <- case sendReceiver of
Just recv -> do
recvEnv <- subtermValue recv >>= scopedEnvironment
localEnv (mappend recvEnv) (subtermValue sendSelector)
Nothing -> subtermValue sendSelector -- TODO Does this require `localize` so we don't leak terms when resolving `sendSelector`?
call func (map subtermValue sendArgs) -- TODO pass through sendBlock
data Require a = Require { requireRelative :: Bool, requirePath :: !a } data Require a = Require { requireRelative :: Bool, requirePath :: !a }
deriving (Diffable, Eq, Foldable, Functor, GAlign, Generic1, Mergeable, Ord, Show, Traversable, FreeVariables1) deriving (Diffable, Eq, Foldable, Functor, GAlign, Generic1, Mergeable, Ord, Show, Traversable, FreeVariables1)

View File

@ -5,6 +5,7 @@
( (
(Try (Try
{ ([]) { ([])
->(Send ->(Call
{+(Identifier)+} {+(Identifier)+}
{+(TextElement)+}) })))) {+(TextElement)+}
{+(Empty)+}) }))))

View File

@ -4,7 +4,8 @@
(Identifier) (Identifier)
( (
(Try (Try
{ (Send { (Call
{-(Identifier)-} {-(Identifier)-}
{-(TextElement)-}) {-(TextElement)-}
{-(Empty)-})
->([]) })))) ->([]) }))))

View File

@ -4,6 +4,7 @@
(Identifier) (Identifier)
( (
(Try (Try
(Send (Call
(Identifier) (Identifier)
(TextElement)))))) (TextElement)
(Empty))))))

View File

@ -1,10 +1,12 @@
(Program (Program
(Try (Try
( (
(Send (Call
(Identifier)) (Identifier)
(Empty))
(Else (Else
(Empty) (Empty)
{ ([]) { ([])
->(Send ->(Call
{+(Identifier)+}) })))) {+(Identifier)+}
{+(Empty)+}) }))))

View File

@ -1,10 +1,12 @@
(Program (Program
(Try (Try
( (
(Send (Call
(Identifier)) (Identifier)
(Empty))
(Else (Else
(Empty) (Empty)
{ (Send { (Call
{-(Identifier)-}) {-(Identifier)-}
{-(Empty)-})
->([]) })))) ->([]) }))))

View File

@ -1,8 +1,9 @@
(Program (Program
(Try (Try
( (
(Send (Call
(Identifier)) (Identifier)
(Empty))
(Else (Else
(Empty) (Empty)
([]))))) ([])))))

View File

@ -1,9 +1,11 @@
(Program (Program
(Try (Try
( (
(Send (Call
(Identifier)) (Identifier)
(Empty))
(Else (Else
(Empty) (Empty)
(Send (Call
(Identifier)))))) (Identifier)
(Empty))))))

View File

@ -2,11 +2,13 @@
(If (If
(Identifier) (Identifier)
( (
(Send (Call
(Identifier))) (Identifier)
(Empty)))
(If (If
(Identifier) (Identifier)
( (
{+(Send {+(Call
{+(Identifier)+})+}) {+(Identifier)+}
{+(Empty)+})+})
(Empty)))) (Empty))))

View File

@ -2,11 +2,13 @@
(If (If
(Identifier) (Identifier)
( (
(Send (Call
(Identifier))) (Identifier)
(Empty)))
(If (If
(Identifier) (Identifier)
([] ([]
{-(Send {-(Call
{-(Identifier)-})-}) {-(Identifier)-}
{-(Empty)-})-})
(Empty)))) (Empty))))

View File

@ -2,8 +2,9 @@
(If (If
(Identifier) (Identifier)
( (
(Send (Call
(Identifier))) (Identifier)
(Empty)))
(If (If
(Identifier) (Identifier)
([]) ([])

View File

@ -2,11 +2,13 @@
(If (If
(Identifier) (Identifier)
( (
(Send (Call
(Identifier))) (Identifier)
(Empty)))
(If (If
(Identifier) (Identifier)
( (
(Send (Call
(Identifier))) (Identifier)
(Empty)))
(Empty)))) (Empty))))

View File

@ -6,9 +6,10 @@
{+(Integer)+} {+(Integer)+}
{+(Integer)+} {+(Integer)+}
{+(Integer)+})+} {+(Integer)+})+}
{+(Send {+(Call
{+(Identifier)+} {+(Identifier)+}
{+(Identifier)+})+})+} {+(Identifier)+}
{+(Empty)+})+})+}
{-(ForEach {-(ForEach
{-( {-(
{-(Identifier)-})-} {-(Identifier)-})-}

View File

@ -22,9 +22,10 @@
{+(Integer)+} {+(Integer)+}
{+(Integer)+} {+(Integer)+}
{+(Empty)+}) } {+(Empty)+}) }
{ (Send { (Call
{-(Identifier)-} {-(Identifier)-}
{-(Identifier)-}) {-(Identifier)-}
{-(Empty)-})
->(Boolean) }) ->(Boolean) })
{+(ForEach {+(ForEach
{+( {+(

View File

@ -6,6 +6,7 @@
(Integer) (Integer)
(Integer) (Integer)
(Integer)) (Integer))
(Send (Call
(Identifier) (Identifier)
(Identifier)))) (Identifier)
(Empty))))

View File

@ -1,9 +1,12 @@
(Program (Program
{+(Send {+(Call
{+(Send {+(MemberAccess
{+(Identifier)+} {+(Call
{+(TextElement)+} {+(Identifier)+}
{+(TextElement)+})+} {+(TextElement)+}
{+(Identifier)+})+} {+(TextElement)+}
{+(Empty)+})+}
{+(Identifier)+})+}
{+(Empty)+})+}
{-(TextElement)-} {-(TextElement)-}
{-(TextElement)-}) {-(TextElement)-})

View File

@ -1,9 +1,12 @@
(Program (Program
{+(TextElement)+} {+(TextElement)+}
{+(TextElement)+} {+(TextElement)+}
{-(Send {-(Call
{-(Send {-(MemberAccess
{-(Identifier)-} {-(Call
{-(TextElement)-} {-(Identifier)-}
{-(TextElement)-})-} {-(TextElement)-}
{-(Identifier)-})-}) {-(TextElement)-}
{-(Empty)-})-}
{-(Identifier)-})-}
{-(Empty)-})-})

View File

@ -1,7 +1,10 @@
(Program (Program
(Send (Call
(Send (MemberAccess
(Identifier) (Call
(TextElement) (Identifier)
(TextElement)) (TextElement)
(Identifier))) (TextElement)
(Empty))
(Identifier))
(Empty)))

View File

@ -1,8 +1,9 @@
(Program (Program
{-(Send {-(Call
{-(Identifier)-} {-(Identifier)-}
{-(Hash)-})-} {-(Hash)-}
(Send {-(Empty)-})-}
(Call
(Identifier) (Identifier)
(Function (Function
(Empty) (Empty)
@ -11,7 +12,7 @@
->(Plus ->(Plus
{+(Identifier)+} {+(Identifier)+}
{+(Integer)+}) })) {+(Integer)+}) }))
{-(Send {-(Call
{-(Identifier)-} {-(Identifier)-}
{-(Function {-(Function
{-(Empty)-} {-(Empty)-}

View File

@ -1,8 +1,9 @@
(Program (Program
{+(Send {+(Call
{+(Identifier)+} {+(Identifier)+}
{+(Hash)+})+} {+(Hash)+}
(Send {+(Empty)+})+}
(Call
(Identifier) (Identifier)
(Function (Function
(Empty) (Empty)
@ -11,7 +12,7 @@
{-(Identifier)-} {-(Identifier)-}
{-(Integer)-}) {-(Integer)-})
->(Identifier) })) ->(Identifier) }))
{+(Send {+(Call
{+(Identifier)+} {+(Identifier)+}
{+(Function {+(Function
{+(Empty)+} {+(Empty)+}

View File

@ -1,13 +1,14 @@
(Program (Program
(Send (Call
(Identifier) (Identifier)
(Hash)) (Hash)
(Send (Empty))
(Call
(Identifier) (Identifier)
(Function (Function
(Empty) (Empty)
(Identifier))) (Identifier)))
(Send (Call
(Identifier) (Identifier)
(Function (Function
(Empty) (Empty)

View File

@ -1,5 +1,5 @@
(Program (Program
(Send (Call
(Identifier) (Identifier)
(Function (Function
(Empty) (Empty)

View File

@ -1,9 +1,10 @@
(Program (Program
(Send (Call
(Identifier) (Identifier)
(KeyValue (KeyValue
(Symbol) (Symbol)
(Boolean)) (Boolean))
{+(KeyValue {+(KeyValue
{+(Symbol)+} {+(Symbol)+}
{+(Integer)+})+})) {+(Integer)+})+}
(Empty)))

View File

@ -1,9 +1,10 @@
(Program (Program
(Send (Call
(Identifier) (Identifier)
(KeyValue (KeyValue
(Symbol) (Symbol)
(Boolean)) (Boolean))
{-(KeyValue {-(KeyValue
{-(Symbol)-} {-(Symbol)-}
{-(Integer)-})-})) {-(Integer)-})-}
(Empty)))

View File

@ -1,6 +1,7 @@
(Program (Program
(Send (Call
(Identifier) (Identifier)
(KeyValue (KeyValue
(Symbol) (Symbol)
(Boolean)))) (Boolean))
(Empty)))

View File

@ -1,9 +1,10 @@
(Program (Program
(Send (Call
(Identifier) (Identifier)
(KeyValue (KeyValue
(Symbol) (Symbol)
(Boolean)) (Boolean))
(KeyValue (KeyValue
(Symbol) (Symbol)
(Integer)))) (Integer))
(Empty)))

View File

@ -1,9 +1,10 @@
(Program (Program
(Send (Call
(Identifier) (Identifier)
(KeyValue (KeyValue
(Identifier) (Identifier)
(Boolean)) (Boolean))
{+(KeyValue {+(KeyValue
{+(Identifier)+} {+(Identifier)+}
{+(Integer)+})+})) {+(Integer)+})+}
(Empty)))

View File

@ -1,9 +1,10 @@
(Program (Program
(Send (Call
(Identifier) (Identifier)
(KeyValue (KeyValue
(Identifier) (Identifier)
(Boolean)) (Boolean))
{-(KeyValue {-(KeyValue
{-(Identifier)-} {-(Identifier)-}
{-(Integer)-})-})) {-(Integer)-})-}
(Empty)))

View File

@ -1,6 +1,7 @@
(Program (Program
(Send (Call
(Identifier) (Identifier)
(KeyValue (KeyValue
(Identifier) (Identifier)
(Boolean)))) (Boolean))
(Empty)))

View File

@ -1,9 +1,10 @@
(Program (Program
(Send (Call
(Identifier) (Identifier)
(KeyValue (KeyValue
(Identifier) (Identifier)
(Boolean)) (Boolean))
(KeyValue (KeyValue
(Identifier) (Identifier)
(Integer)))) (Integer))
(Empty)))

View File

@ -1,9 +1,11 @@
(Program (Program
(Send (Call
{-(Identifier)-} { (MemberAccess
{ (Identifier) {-(Identifier)-}
->(Identifier) }) {-(Identifier)-})
{-(Send ->(Identifier) }
(Empty))
{-(Call
{-(Identifier)-} {-(Identifier)-}
{-(Identifier)-} {-(Identifier)-}
{-(Identifier)-} {-(Identifier)-}
@ -12,13 +14,16 @@
{-(Integer)-})-} {-(Integer)-})-}
{-(KeyValue {-(KeyValue
{-(Identifier)-} {-(Identifier)-}
{-(Integer)-})-})-} {-(Integer)-})-}
{-(Send {-(Empty)-})-}
{-(Call
{-(Identifier)-} {-(Identifier)-}
{-(Send {-(Call
{-(Identifier)-} {-(Identifier)-}
{-(Identifier)-})-})-} {-(Identifier)-}
{-(Send {-(Empty)-})-}
{-(Empty)-})-}
{-(Call
{-(Identifier)-} {-(Identifier)-}
{-(KeyValue {-(KeyValue
{-(Array)-} {-(Array)-}
@ -30,4 +35,5 @@
{-(Identifier)-} {-(Identifier)-}
{-(Function {-(Function
{-(Empty)-} {-(Empty)-}
{-(Integer)-})-})-})-}) {-(Integer)-})-})-}
{-(Empty)-})-})

View File

@ -1,9 +1,11 @@
(Program (Program
(Send (Call
{+(Identifier)+}
{ (Identifier) { (Identifier)
->(Identifier) }) ->(MemberAccess
{+(Send {+(Identifier)+}
{+(Identifier)+}) }
(Empty))
{+(Call
{+(Identifier)+} {+(Identifier)+}
{+(Identifier)+} {+(Identifier)+}
{+(Identifier)+} {+(Identifier)+}
@ -12,13 +14,16 @@
{+(Integer)+})+} {+(Integer)+})+}
{+(KeyValue {+(KeyValue
{+(Identifier)+} {+(Identifier)+}
{+(Integer)+})+})+} {+(Integer)+})+}
{+(Send {+(Empty)+})+}
{+(Call
{+(Identifier)+} {+(Identifier)+}
{+(Send {+(Call
{+(Identifier)+} {+(Identifier)+}
{+(Identifier)+})+})+} {+(Identifier)+}
{+(Send {+(Empty)+})+}
{+(Empty)+})+}
{+(Call
{+(Identifier)+} {+(Identifier)+}
{+(KeyValue {+(KeyValue
{+(Array)+} {+(Array)+}
@ -30,4 +35,5 @@
{+(Identifier)+} {+(Identifier)+}
{+(Function {+(Function
{+(Empty)+} {+(Empty)+}
{+(Integer)+})+})+})+}) {+(Integer)+})+})+}
{+(Empty)+})+})

View File

@ -1,8 +1,10 @@
(Program (Program
(Send (Call
(Identifier) (MemberAccess
(Identifier)) (Identifier)
(Send (Identifier))
(Empty))
(Call
(Identifier) (Identifier)
(Identifier) (Identifier)
(Identifier) (Identifier)
@ -11,13 +13,16 @@
(Integer)) (Integer))
(KeyValue (KeyValue
(Identifier) (Identifier)
(Integer))) (Integer))
(Send (Empty))
(Call
(Identifier) (Identifier)
(Send (Call
(Identifier) (Identifier)
(Identifier))) (Identifier)
(Send (Empty))
(Empty))
(Call
(Identifier) (Identifier)
(KeyValue (KeyValue
(Array) (Array)
@ -29,4 +34,5 @@
(Identifier) (Identifier)
(Function (Function
(Empty) (Empty)
(Integer))))) (Integer)))
(Empty)))

View File

@ -1,3 +1,4 @@
(Program (Program
(Send (Call
(Identifier))) (Identifier)
(Empty)))

View File

@ -1,17 +1,25 @@
(Program (Program
{+(Send {+(Call
{+(Identifier)+} {+(Identifier)+}
{+(TextElement)+})+} {+(TextElement)+}
{+(Empty)+})+}
{+(Call
{+(MemberAccess
{+(Identifier)+}
{+(Identifier)+})+}
{+(Empty)+})+}
{+(Call
{+(Identifier)+}
{+(Integer)+}
{+(Integer)+}
{+(Empty)+})+}
{+(Call
{+(Identifier)+}
{+(Integer)+}
{+(Integer)+}
{+(Empty)+})+}
{-(Identifier)-} {-(Identifier)-}
(Send {-(MemberAccess
(Identifier) {-(Identifier)-}
(Identifier)) {-(Identifier)-})-}
{+(Send
{+(Identifier)+}
{+(Integer)+}
{+(Integer)+})+}
{+(Send
{+(Identifier)+}
{+(Integer)+}
{+(Integer)+})+}
{-(Identifier)-}) {-(Identifier)-})

View File

@ -1,17 +1,25 @@
(Program (Program
{+(Identifier)+} {+(Identifier)+}
{-(Send {+(MemberAccess
{-(Identifier)-} {+(Identifier)+}
{-(TextElement)-})-} {+(Identifier)+})+}
(Send
(Identifier)
(Identifier))
{+(Identifier)+} {+(Identifier)+}
{-(Send {-(Call
{-(Identifier)-}
{-(TextElement)-}
{-(Empty)-})-}
{-(Call
{-(MemberAccess
{-(Identifier)-}
{-(Identifier)-})-}
{-(Empty)-})-}
{-(Call
{-(Identifier)-} {-(Identifier)-}
{-(Integer)-} {-(Integer)-}
{-(Integer)-})-} {-(Integer)-}
{-(Send {-(Empty)-})-}
{-(Call
{-(Identifier)-} {-(Identifier)-}
{-(Integer)-} {-(Integer)-}
{-(Integer)-})-}) {-(Integer)-}
{-(Empty)-})-})

View File

@ -1,6 +1,6 @@
(Program (Program
(Identifier) (Identifier)
(Send (MemberAccess
(Identifier) (Identifier)
(Identifier)) (Identifier))
(Identifier)) (Identifier))

View File

@ -1,15 +1,20 @@
(Program (Program
(Send (Call
(Identifier) (Identifier)
(TextElement)) (TextElement)
(Send (Empty))
(Identifier) (Call
(Identifier)) (MemberAccess
(Send (Identifier)
(Identifier))
(Empty))
(Call
(Identifier) (Identifier)
(Integer) (Integer)
(Integer)) (Integer)
(Send (Empty))
(Call
(Identifier) (Identifier)
(Integer) (Integer)
(Integer))) (Integer)
(Empty)))

View File

@ -37,17 +37,17 @@
{-(Identifier)-})-} {-(Identifier)-})-}
{-(Assignment {-(Assignment
{-( {-(
{-(Send {-(MemberAccess
{-(Identifier)-} {-(Identifier)-}
{-(Identifier)-})-} {-(Identifier)-})-}
{-(Send {-(MemberAccess
{-(Identifier)-} {-(Identifier)-}
{-(Identifier)-})-})-} {-(Identifier)-})-})-}
{-( {-(
{-(Send {-(MemberAccess
{-(Identifier)-} {-(Identifier)-}
{-(Identifier)-})-} {-(Identifier)-})-}
{-(Send {-(MemberAccess
{-(Identifier)-} {-(Identifier)-}
{-(Identifier)-})-})-})-} {-(Identifier)-})-})-})-}
{-(Assignment {-(Assignment

View File

@ -37,17 +37,17 @@
{+(Identifier)+})+} {+(Identifier)+})+}
{+(Assignment {+(Assignment
{+( {+(
{+(Send {+(MemberAccess
{+(Identifier)+} {+(Identifier)+}
{+(Identifier)+})+} {+(Identifier)+})+}
{+(Send {+(MemberAccess
{+(Identifier)+} {+(Identifier)+}
{+(Identifier)+})+})+} {+(Identifier)+})+})+}
{+( {+(
{+(Send {+(MemberAccess
{+(Identifier)+} {+(Identifier)+}
{+(Identifier)+})+} {+(Identifier)+})+}
{+(Send {+(MemberAccess
{+(Identifier)+} {+(Identifier)+}
{+(Identifier)+})+})+})+} {+(Identifier)+})+})+})+}
{+(Assignment {+(Assignment

View File

@ -36,17 +36,17 @@
(Identifier)) (Identifier))
(Assignment (Assignment
( (
(Send (MemberAccess
(Identifier) (Identifier)
(Identifier)) (Identifier))
(Send (MemberAccess
(Identifier) (Identifier)
(Identifier))) (Identifier)))
( (
(Send (MemberAccess
(Identifier) (Identifier)
(Identifier)) (Identifier))
(Send (MemberAccess
(Identifier) (Identifier)
(Identifier)))) (Identifier))))
(Assignment (Assignment

View File

@ -1,5 +1,5 @@
(Program (Program
{ (Equal {(Equal
{-(Identifier)-} {-(Identifier)-}
{-(Identifier)-}) {-(Identifier)-})
->(Comparison ->(Comparison
@ -10,12 +10,11 @@
{+(Identifier)+})+} {+(Identifier)+})+}
{+(Assignment {+(Assignment
{+(Identifier)+} {+(Identifier)+}
{+(Not {+(Not{+(Identifier)+})+})+}
{+(Identifier)+})+})+}
{-(Not {-(Not
{-(Equal {-(Equal
{-(Identifier)-} {-(Identifier)-}
{-(Identifier)-})-})-} {-(Identifier)-})-})-}
{-(Equal {-(Equal
{-(Identifier)-} {-(Identifier)-}
{-(Identifier)-})-}) {-(Identifier)-})- })

View File

@ -1,5 +1,5 @@
(Program (Program
{ (Comparison {(Comparison
{-(Identifier)-} {-(Identifier)-}
{-(Identifier)-}) {-(Identifier)-})
->(Equal ->(Equal
@ -17,5 +17,4 @@
{-(Identifier)-})-} {-(Identifier)-})-}
{-(Assignment {-(Assignment
{-(Identifier)-} {-(Identifier)-}
{-(Not {-(Not{-(Identifier)-})-})- })
{-(Identifier)-})-})-})

View File

@ -2,9 +2,10 @@
(Require (Require
{ (TextElement) { (TextElement)
->(TextElement) }) ->(TextElement) })
(Send (Call
{ (Identifier) { (Identifier)
->(Identifier) } ->(Identifier) }
{+(Symbol)+} {+(Symbol)+}
{+(TextElement)+} {+(TextElement)+}
{-(Identifier)-})) {-(Identifier)-}
(Empty)))

View File

@ -2,9 +2,10 @@
(Require (Require
{ (TextElement) { (TextElement)
->(TextElement) }) ->(TextElement) })
(Send (Call
{ (Identifier) { (Identifier)
->(Identifier) } ->(Identifier) }
{+(Identifier)+} {+(Identifier)+}
{-(Symbol)-} {-(Symbol)-}
{-(TextElement)-})) {-(TextElement)-}
(Empty)))

View File

@ -1,6 +1,7 @@
(Program (Program
(Require (Require
(TextElement)) (TextElement))
(Send (Call
(Identifier) (Identifier)
(Identifier))) (Identifier)
(Empty)))

View File

@ -1,7 +1,8 @@
(Program (Program
(Require (Require
(TextElement)) (TextElement))
(Send (Call
(Identifier) (Identifier)
(Symbol) (Symbol)
(TextElement))) (TextElement)
(Empty)))