123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327 |
- smalltalk.addPackage('Compiler-Tests', {});
- smalltalk.addClass('IRASTTranslatorTest', smalltalk.TestCase, [], 'Compiler-Tests');
- smalltalk.addMethod(
- "_testIRMethod",
- smalltalk.method({
- selector: "testIRMethod",
- fn: function (){
- var self=this;
- return self;}
- }),
- smalltalk.IRASTTranslatorTest);
- smalltalk.addClass('ScopeVarTest', smalltalk.TestCase, [], 'Compiler-Tests');
- smalltalk.addMethod(
- "_testClassRefVar",
- smalltalk.method({
- selector: "testClassRefVar",
- fn: function (){
- var self=this;
- var node=nil;
- (node=(function($rec){smalltalk.send($rec, "_value_", ["Object"]);return smalltalk.send($rec, "_yourself", []);})(smalltalk.send((smalltalk.ClassReferenceNode || ClassReferenceNode), "_new", [])));
- 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 node=nil;
- var scope=nil;
- (node=(function($rec){smalltalk.send($rec, "_value_", ["bzzz"]);return smalltalk.send($rec, "_yourself", []);})(smalltalk.send((smalltalk.VariableNode || VariableNode), "_new", [])));
- (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 node=nil;
- var pseudoVars=nil;
- (pseudoVars=["self", "super", "true", "false", "nil"]);
- smalltalk.send(pseudoVars, "_do_", [(function(each){(node=(function($rec){smalltalk.send($rec, "_value_", [each]);return smalltalk.send($rec, "_yourself", []);})(smalltalk.send((smalltalk.VariableNode || VariableNode), "_new", [])));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 node=nil;
- var scope=nil;
- (node=(function($rec){smalltalk.send($rec, "_value_", ["bzzz"]);return smalltalk.send($rec, "_yourself", []);})(smalltalk.send((smalltalk.VariableNode || VariableNode), "_new", [])));
- (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 node=nil;
- (node=(function($rec){smalltalk.send($rec, "_value_", ["bzzz"]);return smalltalk.send($rec, "_yourself", []);})(smalltalk.send((smalltalk.VariableNode || VariableNode), "_new", [])));
- 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=nil;
- var ast=nil;
- (src="foo | a | a + 1. ^ a");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
- smalltalk.send(self['@analyzer'], "_visit_", [ast]);
- smalltalk.send(self, "_deny_", [smalltalk.send(ast, "_hasNonLocalReturn", [])]);
- return self;}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testNonLocalReturn2",
- smalltalk.method({
- selector: "testNonLocalReturn2",
- fn: function () {
- var self=this;
- var src=nil;
- var ast=nil;
- (src="foo | a | a + 1. [ [ ^ a] ]");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
- smalltalk.send(self['@analyzer'], "_visit_", [ast]);
- smalltalk.send(self, "_assert_", [smalltalk.send(ast, "_hasNonLocalReturn", [])]);
- return self;}
- }),
- smalltalk.SemanticAnalyzerTest);
- smalltalk.addMethod(
- "_testScope",
- smalltalk.method({
- selector: "testScope",
- fn: function () {
- var self=this;
- var src=nil;
- var ast=nil;
- (src="foo | a | a + 1. [ | b | b := a ]");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : 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=nil;
- var ast=nil;
- (src="foo | a | a + 1. [ [ | b | b := a ] ]");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : 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=nil;
- var ast=nil;
- (src="foo | a | a + 1. [ [ | b | b := a ] ]");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : 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=nil;
- var ast=nil;
- (src="foo | a | b + a");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : 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=nil;
- var ast=nil;
- (src="foo | a b | [ c + 1. [ a + 1. d + 1 ]]");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : 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=nil;
- var ast=nil;
- (src="foo | a | a + 1");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : 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=nil;
- var ast=nil;
- (src="foo | a | a + 1. [ | a | a := 2 ]");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : 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=nil;
- var ast=nil;
- (src="foo | a | a + 1. [ | b | b := 2 ]");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : 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=nil;
- var ast=nil;
- (src="foo | a | a + 1. [ [ [ | b | b := 2 ] ] ]");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : 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=nil;
- var ast=nil;
- (src="foo | a | a + 1. [ [ [ | a | a := 2 ] ] ]");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : 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=nil;
- var ast=nil;
- (src="foo | a | a + 1. [ | b | b := a ]");
- (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : 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);
|