123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641 |
- smalltalk.addPackage('Compiler-Tests', {});
- smalltalk.addClass('CodeGeneratorTest', smalltalk.TestCase, ['receiver'], 'Compiler-Tests');
- smalltalk.addMethod(
- "_codeGeneratorClass",
- smalltalk.method({
- selector: "codeGeneratorClass",
- fn: function (){
- var self=this;
- return (smalltalk.CodeGenerator || CodeGenerator);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_compiler",
- smalltalk.method({
- selector: "compiler",
- fn: function (){
- var self=this;
- return (function($rec){smalltalk.send($rec, "_codeGeneratorClass_", [smalltalk.send(self, "_codeGeneratorClass", [])]);return smalltalk.send($rec, "_yourself", []);})(smalltalk.send((smalltalk.Compiler || Compiler), "_new", []));
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_setUp",
- smalltalk.method({
- selector: "setUp",
- fn: function (){
- var self=this;
- (self['@receiver']=smalltalk.send(smalltalk.send(self, "_targetClass", []), "_new", []));
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_should_return_",
- smalltalk.method({
- selector: "should:return:",
- fn: function (aString, anObject){
- var self=this;
- var method=nil;
- var result=nil;
- (method=smalltalk.send(smalltalk.send(self, "_compiler", []), "_install_forClass_category_", [aString, smalltalk.send(self, "_targetClass", []), "tests"]));
- (result=smalltalk.send(self['@receiver'], "_perform_", [smalltalk.send(method, "_selector", [])]));
- smalltalk.send(smalltalk.send(self, "_targetClass", []), "_removeCompiledMethod_", [method]);
- smalltalk.send(self, "_assert_equals_", [anObject, result]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_targetClass",
- smalltalk.method({
- selector: "targetClass",
- fn: function (){
- var self=this;
- return (smalltalk.DoIt || DoIt);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_tearDown",
- smalltalk.method({
- selector: "tearDown",
- fn: function (){
- var self=this;
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testAssignment",
- smalltalk.method({
- selector: "testAssignment",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo | a | a := true ifTrue: [ 1 ]. ^ a", (1)]);
- smalltalk.send(self, "_should_return_", ["foo | a | a := false ifTrue: [ 1 ]. ^ a", nil]);
- smalltalk.send(self, "_should_return_", ["foo | a | ^ a := true ifTrue: [ 1 ]", (1)]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testBlockReturn",
- smalltalk.method({
- selector: "testBlockReturn",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo ^ #(1 2 3) collect: [ :each | true ifTrue: [ each + 1 ] ]", [(2), (3), (4)]]);
- smalltalk.send(self, "_should_return_", ["foo ^ #(1 2 3) collect: [ :each | false ifFalse: [ each + 1 ] ]", [(2), (3), (4)]]);
- smalltalk.send(self, "_should_return_", ["foo ^ #(1 2 3) collect: [ :each | each odd ifTrue: [ each + 1 ] ifFalse: [ each - 1 ] ]", [(2), (1), (4)]]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testCascades",
- smalltalk.method({
- selector: "testCascades",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo ^ Array new add: 3; add: 4; yourself", [(3), (4)]]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testLiterals",
- smalltalk.method({
- selector: "testLiterals",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo ^ 1", (1)]);
- smalltalk.send(self, "_should_return_", ["foo ^ 'hello'", "hello"]);
- smalltalk.send(self, "_should_return_", ["foo ^ #(1 2 3 4)", [(1), (2), (3), (4)]]);
- smalltalk.send(self, "_should_return_", ["foo ^ {1. [:x | x ] value: 2. 3. [4] value}", [(1), (2), (3), (4)]]);
- smalltalk.send(self, "_should_return_", ["foo ^ true", true]);
- smalltalk.send(self, "_should_return_", ["foo ^ false", false]);
- smalltalk.send(self, "_should_return_", ["foo ^ #{1->2. 3->4}", smalltalk.HashedCollection._fromPairs_([smalltalk.send((1), "__minus_gt", [(2)]),smalltalk.send((3), "__minus_gt", [(4)])])]);
- smalltalk.send(self, "_should_return_", ["foo ^ #hello", smalltalk.symbolFor("hello")]);
- smalltalk.send(self, "_should_return_", ["foo ^ -123.456", (-123.456)]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testLocalReturn",
- smalltalk.method({
- selector: "testLocalReturn",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo ^ 1", (1)]);
- smalltalk.send(self, "_should_return_", ["foo ^ 1 + 1", (2)]);
- smalltalk.send(self, "_should_return_", ["foo ", self['@receiver']]);
- smalltalk.send(self, "_should_return_", ["foo self asString", self['@receiver']]);
- smalltalk.send(self, "_should_return_", ["foo | a b | a := 1. b := 2. ^ a + b", (3)]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testMessageSends",
- smalltalk.method({
- selector: "testMessageSends",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo ^ 1 asString", "1"]);
- smalltalk.send(self, "_should_return_", ["foo ^ 1 + 1", (2)]);
- smalltalk.send(self, "_should_return_", ["foo ^ 1 + 2 * 3", (9)]);
- smalltalk.send(self, "_should_return_", ["foo ^ 1 to: 3", [(1), (2), (3)]]);
- smalltalk.send(self, "_should_return_", ["foo ^ 1 to: 5 by: 2", [(1), (3), (5)]]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testNestedIfTrue",
- smalltalk.method({
- selector: "testNestedIfTrue",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo ^ true ifTrue: [ false ifFalse: [ 1 ] ]", (1)]);
- smalltalk.send(self, "_should_return_", ["foo ^ true ifTrue: [ false ifTrue: [ 1 ] ]", nil]);
- smalltalk.send(self, "_should_return_", ["foo true ifTrue: [ false ifFalse: [ ^ 1 ] ]", (1)]);
- smalltalk.send(self, "_should_return_", ["foo true ifTrue: [ false ifTrue: [ ^ 1 ] ]", self['@receiver']]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testNonLocalReturn",
- smalltalk.method({
- selector: "testNonLocalReturn",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo [ ^ 1 ] value", (1)]);
- smalltalk.send(self, "_should_return_", ["foo [ ^ 1 + 1 ] value", (2)]);
- smalltalk.send(self, "_should_return_", ["foo | a b | a := 1. b := 2. [ ^ a + b ] value. self halt", (3)]);
- smalltalk.send(self, "_should_return_", ["foo [ :x | ^ x + x ] value: 4. ^ 2", (8)]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testifFalse",
- smalltalk.method({
- selector: "testifFalse",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo true ifFalse: [ ^ 1 ]", self['@receiver']]);
- smalltalk.send(self, "_should_return_", ["foo false ifFalse: [ ^ 2 ]", (2)]);
- smalltalk.send(self, "_should_return_", ["foo ^ true ifFalse: [ 1 ]", nil]);
- smalltalk.send(self, "_should_return_", ["foo ^ false ifFalse: [ 2 ]", (2)]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testifFalseIfTrue",
- smalltalk.method({
- selector: "testifFalseIfTrue",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo true ifFalse: [ ^ 1 ] ifTrue: [ ^ 2 ]", (2)]);
- smalltalk.send(self, "_should_return_", ["foo false ifFalse: [ ^ 2 ] ifTrue: [ ^1 ]", (2)]);
- smalltalk.send(self, "_should_return_", ["foo ^ true ifFalse: [ 1 ] ifTrue: [ 2 ]", (2)]);
- smalltalk.send(self, "_should_return_", ["foo ^ false ifFalse: [ 2 ] ifTrue: [ 1 ]", (2)]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testifNil",
- smalltalk.method({
- selector: "testifNil",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo ^ 1 ifNil: [ 2 ]", (1)]);
- smalltalk.send(self, "_should_return_", ["foo ^ nil ifNil: [ 2 ]", (2)]);
- smalltalk.send(self, "_should_return_", ["foo 1 ifNil: [ ^ 2 ]", self['@receiver']]);
- smalltalk.send(self, "_should_return_", ["foo nil ifNil: [ ^ 2 ]", (2)]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testifNilIfNotNil",
- smalltalk.method({
- selector: "testifNilIfNotNil",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo ^ 1 ifNil: [ 2 ] ifNotNil: [ 3 ]", (3)]);
- smalltalk.send(self, "_should_return_", ["foo ^ nil ifNil: [ 2 ] ifNotNil: [ 3 ]", (2)]);
- smalltalk.send(self, "_should_return_", ["foo 1 ifNil: [ ^ 2 ] ifNotNil: [ ^3 ]", (3)]);
- smalltalk.send(self, "_should_return_", ["foo nil ifNil: [ ^ 2 ] ifNotNil: [ ^3 ]", (2)]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testifNotNil",
- smalltalk.method({
- selector: "testifNotNil",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo ^ 1 ifNotNil: [ 2 ]", (2)]);
- smalltalk.send(self, "_should_return_", ["foo ^ nil ifNotNil: [ 2 ]", nil]);
- smalltalk.send(self, "_should_return_", ["foo 1 ifNotNil: [ ^ 2 ]", (2)]);
- smalltalk.send(self, "_should_return_", ["foo nil ifNotNil: [ ^ 2 ]", self['@receiver']]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testifTrue",
- smalltalk.method({
- selector: "testifTrue",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo false ifTrue: [ ^ 1 ]", self['@receiver']]);
- smalltalk.send(self, "_should_return_", ["foo true ifTrue: [ ^ 2 ]", (2)]);
- smalltalk.send(self, "_should_return_", ["foo ^ false ifTrue: [ 1 ]", nil]);
- smalltalk.send(self, "_should_return_", ["foo ^ true ifTrue: [ 2 ]", (2)]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addMethod(
- "_testifTrueIfFalse",
- smalltalk.method({
- selector: "testifTrueIfFalse",
- fn: function (){
- var self=this;
- smalltalk.send(self, "_should_return_", ["foo false ifTrue: [ ^ 1 ] ifFalse: [ ^2 ]", (2)]);
- smalltalk.send(self, "_should_return_", ["foo true ifTrue: [ ^ 1 ] ifFalse: [ ^ 2 ]", (1)]);
- smalltalk.send(self, "_should_return_", ["foo ^ false ifTrue: [ 2 ] ifFalse: [ 1 ]", (1)]);
- smalltalk.send(self, "_should_return_", ["foo ^ true ifTrue: [ 2 ] ifFalse: [ 1 ]", (2)]);
- return self;}
- }),
- smalltalk.CodeGeneratorTest);
- smalltalk.addClass('InliningCodeGeneratorTest', smalltalk.CodeGeneratorTest, [], 'Compiler-Tests');
- smalltalk.addMethod(
- "_codeGeneratorClass",
- smalltalk.method({
- selector: "codeGeneratorClass",
- fn: function (){
- var self=this;
- return (smalltalk.InliningCodeGenerator || InliningCodeGenerator);
- return self;}
- }),
- smalltalk.InliningCodeGeneratorTest);
- smalltalk.addClass('ScopeVarTest', smalltalk.TestCase, [], 'Compiler-Tests');
- smalltalk.addMethod(
- "_testClassRefVar",
- smalltalk.method({
- selector: "testClassRefVar",
- fn: function (){
- var self=this;
- var $1,$2;
- var node;
- $1=smalltalk.send((smalltalk.ClassReferenceNode || ClassReferenceNode),"_new",[]);
- smalltalk.send($1,"_value_",["Object"]);
- $2=smalltalk.send($1,"_yourself",[]);
- node=$2;
- smalltalk.send(smalltalk.send((smalltalk.SemanticAnalyzer || SemanticAnalyzer),"_new",[]),"_visit_",[node]);
- smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(node,"_binding",[]),"_isClassRefVar",[])]);
- return self}
- }),
- smalltalk.ScopeVarTest);
- smalltalk.addMethod(
- "_testInstanceVar",
- smalltalk.method({
- selector: "testInstanceVar",
- fn: function (){
- var self=this;
- var $1,$2;
- var node;
- var scope;
- $1=smalltalk.send((smalltalk.VariableNode || VariableNode),"_new",[]);
- smalltalk.send($1,"_value_",["bzzz"]);
- $2=smalltalk.send($1,"_yourself",[]);
- node=$2;
- scope=smalltalk.send((smalltalk.MethodLexicalScope || MethodLexicalScope),"_new",[]);
- smalltalk.send(scope,"_addIVar_",["bzzz"]);
- smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(scope,"_bindingFor_",[node]),"_isInstanceVar",[])]);
- return self}
- }),
- smalltalk.ScopeVarTest);
- smalltalk.addMethod(
- "_testPseudoVar",
- smalltalk.method({
- selector: "testPseudoVar",
- fn: function (){
- var self=this;
- var $1,$2;
- var node;
- var pseudoVars;
- pseudoVars=["self", "super", "true", "false", "nil"];
- smalltalk.send(pseudoVars,"_do_",[(function(each){
- $1=smalltalk.send((smalltalk.VariableNode || VariableNode),"_new",[]);
- smalltalk.send($1,"_value_",[each]);
- $2=smalltalk.send($1,"_yourself",[]);
- node=$2;
- node;
- return smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(smalltalk.send((smalltalk.MethodLexicalScope || MethodLexicalScope),"_new",[]),"_bindingFor_",[node]),"_isPseudoVar",[])]);
- })]);
- return self}
- }),
- smalltalk.ScopeVarTest);
- smalltalk.addMethod(
- "_testTempVar",
- smalltalk.method({
- selector: "testTempVar",
- fn: function (){
- var self=this;
- var $1,$2;
- var node;
- var scope;
- $1=smalltalk.send((smalltalk.VariableNode || VariableNode),"_new",[]);
- smalltalk.send($1,"_value_",["bzzz"]);
- $2=smalltalk.send($1,"_yourself",[]);
- node=$2;
- scope=smalltalk.send((smalltalk.MethodLexicalScope || MethodLexicalScope),"_new",[]);
- smalltalk.send(scope,"_addTemp_",["bzzz"]);
- smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(scope,"_bindingFor_",[node]),"_isTempVar",[])]);
- return self}
- }),
- smalltalk.ScopeVarTest);
- smalltalk.addMethod(
- "_testUnknownVar",
- smalltalk.method({
- selector: "testUnknownVar",
- fn: function (){
- var self=this;
- var $1,$2;
- var node;
- $1=smalltalk.send((smalltalk.VariableNode || VariableNode),"_new",[]);
- smalltalk.send($1,"_value_",["bzzz"]);
- $2=smalltalk.send($1,"_yourself",[]);
- node=$2;
- smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(smalltalk.send((smalltalk.MethodLexicalScope || MethodLexicalScope),"_new",[]),"_bindingFor_",[node]),"_isNil",[])]);
- return self}
- }),
- smalltalk.ScopeVarTest);
- smalltalk.addClass('SemanticAnalyzerTest', smalltalk.TestCase, ['analyzer'], 'Compiler-Tests');
- smalltalk.addMethod(
- "_setUp",
- smalltalk.method({
- selector: "setUp",
- fn: function (){
- var self=this;
- self["@analyzer"]=smalltalk.send((smalltalk.SemanticAnalyzer || SemanticAnalyzer),"_on_",[(smalltalk.Object || Object)]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testAssignment",
- smalltalk.method({
- selector: "testAssignment",
- fn: function (){
- var self=this;
- var src=nil;
- var ast=nil;
- (src="foo self := 1");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
- smalltalk.send(self, "_should_raise_", [(function(){return smalltalk.send(self['@analyzer'], "_visit_", [ast]);}), (smalltalk.InvalidAssignmentError || InvalidAssignmentError)]);
- return self;}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testNonLocalReturn",
- smalltalk.method({
- selector: "testNonLocalReturn",
- fn: function (){
- var self=this;
- var src;
- var ast;
- src="foo | a | a + 1. ^ a";
- ast=smalltalk.send(smalltalk,"_parse_",[src]);
- smalltalk.send(self["@analyzer"],"_visit_",[ast]);
- smalltalk.send(self,"_deny_",[smalltalk.send(smalltalk.send(ast,"_scope",[]),"_hasNonLocalReturn",[])]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testNonLocalReturn2",
- smalltalk.method({
- selector: "testNonLocalReturn2",
- fn: function (){
- var self=this;
- var src;
- var ast;
- src="foo | a | a + 1. [ [ ^ a] ]";
- ast=smalltalk.send(smalltalk,"_parse_",[src]);
- smalltalk.send(self["@analyzer"],"_visit_",[ast]);
- smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(ast,"_scope",[]),"_hasNonLocalReturn",[])]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testScope",
- smalltalk.method({
- selector: "testScope",
- fn: function (){
- var self=this;
- var src;
- var ast;
- src="foo | a | a + 1. [ | b | b := a ]";
- ast=smalltalk.send(smalltalk,"_parse_",[src]);
- smalltalk.send(self["@analyzer"],"_visit_",[ast]);
- smalltalk.send(self,"_deny_",[smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast,"_nodes",[]),"_first",[]),"_nodes",[]),"_last",[]),"_scope",[]),"__eq_eq",[smalltalk.send(ast,"_scope",[])])]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testScope2",
- smalltalk.method({
- selector: "testScope2",
- fn: function (){
- var self=this;
- var src;
- var ast;
- src="foo | a | a + 1. [ [ | b | b := a ] ]";
- ast=smalltalk.send(smalltalk,"_parse_",[src]);
- smalltalk.send(self["@analyzer"],"_visit_",[ast]);
- smalltalk.send(self,"_deny_",[smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast,"_nodes",[]),"_first",[]),"_nodes",[]),"_last",[]),"_nodes",[]),"_first",[]),"_nodes",[]),"_first",[]),"_scope",[]),"__eq_eq",[smalltalk.send(ast,"_scope",[])])]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testScopeLevel",
- smalltalk.method({
- selector: "testScopeLevel",
- fn: function (){
- var self=this;
- var src;
- var ast;
- src="foo | a | a + 1. [ [ | b | b := a ] ]";
- ast=smalltalk.send(smalltalk,"_parse_",[src]);
- smalltalk.send(self["@analyzer"],"_visit_",[ast]);
- smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(smalltalk.send(ast,"_scope",[]),"_scopeLevel",[]),"__eq",[(1)])]);
- smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast,"_nodes",[]),"_first",[]),"_nodes",[]),"_last",[]),"_nodes",[]),"_first",[]),"_nodes",[]),"_first",[]),"_scope",[]),"_scopeLevel",[]),"__eq",[(3)])]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testUnknownVariables",
- smalltalk.method({
- selector: "testUnknownVariables",
- fn: function (){
- var self=this;
- var src;
- var ast;
- src="foo | a | b + a";
- ast=smalltalk.send(smalltalk,"_parse_",[src]);
- smalltalk.send(self["@analyzer"],"_visit_",[ast]);
- smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(smalltalk.send(ast,"_scope",[]),"_unknownVariables",[]),"__eq",[["b"]])]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testUnknownVariablesWithScope",
- smalltalk.method({
- selector: "testUnknownVariablesWithScope",
- fn: function (){
- var self=this;
- var src;
- var ast;
- src="foo | a b | [ c + 1. [ a + 1. d + 1 ]]";
- ast=smalltalk.send(smalltalk,"_parse_",[src]);
- smalltalk.send(self["@analyzer"],"_visit_",[ast]);
- smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(smalltalk.send(ast,"_scope",[]),"_unknownVariables",[]),"__eq",[["c", "d"]])]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testVariableShadowing",
- smalltalk.method({
- selector: "testVariableShadowing",
- fn: function (){
- var self=this;
- var src;
- var ast;
- src="foo | a | a + 1";
- ast=smalltalk.send(smalltalk,"_parse_",[src]);
- smalltalk.send(self["@analyzer"],"_visit_",[ast]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testVariableShadowing2",
- smalltalk.method({
- selector: "testVariableShadowing2",
- fn: function (){
- var self=this;
- var src;
- var ast;
- src="foo | a | a + 1. [ | a | a := 2 ]";
- ast=smalltalk.send(smalltalk,"_parse_",[src]);
- smalltalk.send(self,"_should_raise_",[(function(){
- return smalltalk.send(self["@analyzer"],"_visit_",[ast]);
- }),(smalltalk.ShadowingVariableError || ShadowingVariableError)]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testVariableShadowing3",
- smalltalk.method({
- selector: "testVariableShadowing3",
- fn: function (){
- var self=this;
- var src;
- var ast;
- src="foo | a | a + 1. [ | b | b := 2 ]";
- ast=smalltalk.send(smalltalk,"_parse_",[src]);
- smalltalk.send(self["@analyzer"],"_visit_",[ast]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testVariableShadowing4",
- smalltalk.method({
- selector: "testVariableShadowing4",
- fn: function (){
- var self=this;
- var src;
- var ast;
- src="foo | a | a + 1. [ [ [ | b | b := 2 ] ] ]";
- ast=smalltalk.send(smalltalk,"_parse_",[src]);
- smalltalk.send(self["@analyzer"],"_visit_",[ast]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testVariableShadowing5",
- smalltalk.method({
- selector: "testVariableShadowing5",
- fn: function (){
- var self=this;
- var src;
- var ast;
- src="foo | a | a + 1. [ [ [ | a | a := 2 ] ] ]";
- ast=smalltalk.send(smalltalk,"_parse_",[src]);
- smalltalk.send(self,"_should_raise_",[(function(){
- return smalltalk.send(self["@analyzer"],"_visit_",[ast]);
- }),(smalltalk.ShadowingVariableError || ShadowingVariableError)]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testVariablesLookup",
- smalltalk.method({
- selector: "testVariablesLookup",
- fn: function (){
- var self=this;
- var src;
- var ast;
- src="foo | a | a + 1. [ | b | b := a ]";
- ast=smalltalk.send(smalltalk,"_parse_",[src]);
- smalltalk.send(self["@analyzer"],"_visit_",[ast]);
- smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast,"_nodes",[]),"_first",[]),"_nodes",[]),"_first",[]),"_receiver",[]),"_binding",[]),"_isTempVar",[])]);
- smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast,"_nodes",[]),"_first",[]),"_nodes",[]),"_first",[]),"_receiver",[]),"_binding",[]),"_scope",[]),"__eq_eq",[smalltalk.send(ast,"_scope",[])])]);
- smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast,"_nodes",[]),"_first",[]),"_nodes",[]),"_last",[]),"_nodes",[]),"_first",[]),"_nodes",[]),"_first",[]),"_left",[]),"_binding",[]),"_isTempVar",[])]);
- smalltalk.send(self,"_assert_",[smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast,"_nodes",[]),"_first",[]),"_nodes",[]),"_last",[]),"_nodes",[]),"_first",[]),"_nodes",[]),"_first",[]),"_left",[]),"_binding",[]),"_scope",[]),"__eq_eq",[smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast,"_nodes",[]),"_first",[]),"_nodes",[]),"_last",[]),"_scope",[])])]);
- return self}
- }),
- smalltalk.SemanticAnalyzerTest);
|