resin 0.2.2 → 0.2.3

data/amber/js/Compiler-Tests.deploy.js

@@ -1,97 +1,683 @@
 smalltalk.addPackage('Compiler-Tests', {});
-smalltalk.addClass('ImporterTest', smalltalk.TestCase, [], 'Compiler-Tests');
+smalltalk.addClass('CodeGeneratorTest', smalltalk.TestCase, ['receiver'], 'Compiler-Tests');
 smalltalk.addMethod(
-"_bigChunkString",
+"_codeGeneratorClass",
 smalltalk.method({
-selector: "bigChunkString",
-fn: function (){
-var self=this;
-return "Smalltalk current createPackage: 'Cypress-Definitions' properties: #{}!\x0aObject subclass: #CypressSnapshot\x0a\x09instanceVariableNames: 'definitions'\x0a\x09package: 'Cypress-Definitions'!\x0a\x0a!CypressSnapshot methodsFor: 'not yet classified'!\x0a\x0adefinitions: aDefinitions\x0a\x0a\x09definitions := aDefinitions\x0a!\x0a\x0adefinitions\x0a\x0a\x09^definitions\x0a! !\x0a\x0a!CypressSnapshot class methodsFor: 'not yet classified'!\x0a\x0adefinitions: aDefinitions\x0a\x0a\x09^(self new) definitions: aDefinitions\x0a! !\x0a\x0aObject subclass: #CypressPackage\x0a\x09instanceVariableNames: 'name'\x0a\x09package: 'Cypress-Definitions'!\x0a\x0a!CypressPackage methodsFor: 'not yet classified'!\x0a\x0a= other\x0a\x09^ other species = self species and: [other name sameAs: name]\x0a!\x0a\x0aname\x0a\x09^ name\x0a!\x0a\x0aname: aString\x0a\x09name := aString\x0a!\x0a\x0asnapshot\x0a\x09| package definitions name  |\x0a\x09package := Package named: self name.\x0a\x09definitions := OrderedCollection new.\x0a\x09package sortedClasses do: [:cls |\x0a        \x09definitions add: cls asCypressClassDefinition.\x0a                cls methodDictionary values do: [:method |\x0a\x09\x09\x09(method category match: '^\x5c*') ifFalse: [ \x0a\x09\x09\x09\x09definitions add: method asCypressMethodDefinition ]].\x0a                cls class methodDictionary values do: [:method |\x0a\x09\x09\x09(method category match: '^\x5c*') ifFalse: [ \x0a\x09\x09\x09\x09definitions add: method asCypressMethodDefinition ]]].\x0a\x09name := package name.\x0a\x09Smalltalk current classes, (Smalltalk current classes collect: [:each | each class]) do: [:each |\x0a\x09\x09each methodDictionary values do: [:method |\x0a\x09\x09\x09method category = ('*', name) ifTrue: [\x0a\x09\x09\x09\x09definitions add: method asCypressMethodDefinition ]]].\x0a\x09^ CypressSnapshot definitions: definitions\x0a!\x0a\x0aprintString\x0a\x09^super printString, '(', name, ')'\x0a! !\x0a\x0aObject subclass: #CypressDefinition\x0a\x09instanceVariableNames: ''\x0a\x09package: 'Cypress-Definitions'!\x0a\x0a!CypressDefinition methodsFor: 'not yet classified'!\x0a\x0a= aDefinition\x0a\x09^(aDefinition isKindOf: CypressDefinition) and: [self isRevisionOf: aDefinition]\x0a!\x0a\x0aisRevisionOf: aDefinition\x0a\x09^ (aDefinition isKindOf: CypressDefinition) and: [aDefinition description = self description]\x0a!\x0a\x0adescription\x0a\x09self subclassResponsibility\x0a!\x0a\x0aisSameRevisionAs: aDefinition\x0a\x09^ self = aDefinition\x0a! !\x0a\x0aObject subclass: #CypressPatch\x0a\x09instanceVariableNames: 'operations'\x0a\x09package: 'Cypress-Definitions'!\x0a\x0a!CypressPatch methodsFor: 'not yet classified'!\x0a\x0afromBase: baseSnapshot toTarget: targetSnapshot\x0a\x09| base target |\x09\x0a\x09operations := OrderedCollection new.\x0a\x09base := CypressDefinitionIndex definitions: baseSnapshot definitions.\x0a\x09target := CypressDefinitionIndex definitions: targetSnapshot definitions.\x0a\x09\x0a\x09target definitions do:\x0a\x09\x09[:t |\x0a\x09\x09base\x0a\x09\x09\x09definitionLike: t\x0a\x09\x09\x09ifPresent: [:b | (b isSameRevisionAs: t) ifFalse: [operations add: (CypressModification of: b to: t)]]\x0a\x09\x09\x09ifAbsent: [operations add: (CypressAddition of: t)]].\x0a\x09\x09\x0a\x09base definitions do:\x0a\x09\x09[:b |\x0a\x09\x09target\x0a\x09\x09\x09definitionLike: b\x0a\x09\x09\x09ifPresent: [:t | ]\x0a\x09\x09\x09ifAbsent: [operations add: (CypressRemoval of: b)]]\x0a!\x0a\x0aoperations\x0a\x0a\x09^operations\x0a! !\x0a\x0a!CypressPatch class methodsFor: 'not yet classified'!\x0a\x0afromBase: baseSnapshot toTarget: targetSnapshot\x0a\x09^ (self new)\x0a\x09\x09fromBase: baseSnapshot\x0a\x09\x09toTarget: targetSnapshot\x0a! !\x0a\x0aObject subclass: #CypressDefinitionIndex\x0a\x09instanceVariableNames: 'definitionMap'\x0a\x09package: 'Cypress-Definitions'!\x0a\x0a!CypressDefinitionIndex methodsFor: 'not yet classified'!\x0a\x0aadd: aDefinition\x0a\x09^ self definitionMap at: aDefinition description put: aDefinition\x0a!\x0a\x0aaddAll: aCollection\x0a\x09aCollection do: [:ea | self add: ea]\x0a!\x0a\x0adefinitionLike: aDefinition ifPresent: foundBlock ifAbsent: errorBlock\x0a\x09| definition |\x0a\x09definition := self definitionMap at: aDefinition description ifAbsent: [].\x0a\x09^ definition\x0a\x09\x09ifNil: errorBlock\x0a\x09\x09ifNotNil: [foundBlock value: definition]\x0a!\x0a\x0adefinitions\x0a\x09^self definitionMap values\x0a!\x0a\x0adefinitionMap\x0a\x09definitionMap ifNil: [ definitionMap := Dictionary new ].\x0a\x09^ definitionMap\x0a!\x0a\x0aremove: aDefinition\x0a\x09self definitionMap removeKey: aDefinition description ifAbsent: []\x0a! !\x0a\x0a!CypressDefinitionIndex class methodsFor: 'not yet classified'!\x0a\x0adefinitions: aCollection\x0a\x09^ self new addAll: aCollection\x0a! !\x0a\x0aObject subclass: #CypressPatchOperation\x0a\x09instanceVariableNames: ''\x0a\x09package: 'Cypress-Definitions'!\x0a\x0aCypressDefinition subclass: #CypressClassDefinition\x0a\x09instanceVariableNames: 'name superclassName category comment instVarNames classInstVarNames'\x0a\x09package: 'Cypress-Definitions'!\x0a\x0a!CypressClassDefinition methodsFor: 'not yet classified'!\x0a\x0aname: aClassName superclassName: aSuperclassName category: aCategory instVarNames: anInstanceVariableNames classInstVarNames: aClassInstanceVariableNames comment: aComment\x0a\x0a\x09name := aClassName.\x0a\x09superclassName := aSuperclassName.\x0a\x09category := aCategory.\x0a\x09instVarNames := anInstanceVariableNames.\x0a\x09classInstVarNames := aClassInstanceVariableNames.\x0a\x09comment := aComment\x0a!\x0a\x0a= aDefinition\x0a\x09^(super = aDefinition)\x0a\x09\x09and: [superclassName = aDefinition superclassName\x0a\x09\x09and: [category = aDefinition category\x0a\x09\x09and: [instVarNames = aDefinition instVarNames\x0a\x09\x09and: [classInstVarNames = aDefinition classInstVarNames\x0a\x09\x09and: [comment = aDefinition comment]]]]]\x0a!\x0a\x0asuperclassName\x0a\x0a\x09^superclassName\x0a!\x0a\x0aname\x0a\x0a\x09^name\x0a!\x0a\x0acategory\x0a\x0a\x09^category\x0a!\x0a\x0acomment\x0a\x0a\x09^comment\x0a!\x0a\x0adescription\x0a\x0a\x09^ Array with: name\x0a!\x0a\x0ainstVarNames\x0a\x0a\x09^instVarNames\x0a!\x0a\x0aclassInstVarNames\x0a\x0a\x09^classInstVarNames\x0a! !\x0a\x0a!CypressClassDefinition class methodsFor: 'not yet classified'!\x0a\x0aname: aClassName \x0asuperclassName: aSuperclassName\x0acategory: aCategory\x0ainstVarNames: anInstanceVariableNames\x0aclassInstVarNames: aClassInstanceVariableNames\x0acomment: aComment\x0a\x0a\x09^(self new) \x0a\x09\x09name: aClassName \x0a\x09\x09superclassName: aSuperclassName\x0a\x09\x09category: aCategory\x0a\x09\x09instVarNames: anInstanceVariableNames\x0a\x09\x09classInstVarNames: aClassInstanceVariableNames\x0a\x09\x09comment: aComment\x0a! !\x0a\x0aCypressDefinition subclass: #CypressMethodDefinition\x0a\x09instanceVariableNames: 'classIsMeta source category selector className'\x0a\x09package: 'Cypress-Definitions'!\x0a\x0a!CypressMethodDefinition methodsFor: 'not yet classified'!\x0a\x0aclassName: aName classIsMeta: isMetaclass selector: aSelector category: aCategory source: aSource\x0a\x0a\x09className := aName.\x0a\x09classIsMeta := isMetaclass.\x0a\x09selector := aSelector.\x0a\x09category := aCategory.\x0a\x09source := aSource.\x0a!\x0a\x0a= aDefinition\x0a    ^ super = aDefinition\x0a        and: [ aDefinition source = self source\x0a                and: [ aDefinition category = self category ] ]\x0a!\x0a\x0asource\x0a\x0a\x09^source\x0a!\x0a\x0acategory\x0a\x0a\x09^category\x0a!\x0a\x0adescription\x0a\x09^ Array\x09\x0a\x09\x09with: className\x0a\x09\x09with: selector\x0a\x09\x09with: classIsMeta\x0a! !\x0a\x0a!CypressMethodDefinition class methodsFor: 'not yet classified'!\x0a\x0aclassName: aName\x0aclassIsMeta: isMetaclass\x0aselector: aSelector\x0acategory: aCategory\x0asource: aSource\x0a\x0a\x09^(self new)\x0a\x09\x09className: aName\x0a\x09\x09classIsMeta: isMetaclass\x0a\x09\x09selector: aSelector\x0a\x09\x09category: aCategory\x0a\x09\x09source: aSource\x0a! !\x0a\x0aCypressPatchOperation subclass: #CypressAddition\x0a\x09instanceVariableNames: 'definition'\x0a\x09package: 'Cypress-Definitions'!\x0a\x0a!CypressAddition methodsFor: 'not yet classified'!\x0a\x0adefinition: aDefinition\x0a\x0a\x09definition := aDefinition\x0a! !\x0a\x0a!CypressAddition class methodsFor: 'not yet classified'!\x0a\x0aof: aDefinition\x0a\x09^ self new definition: aDefinition\x0a! !\x0a\x0aCypressPatchOperation subclass: #CypressModification\x0a\x09instanceVariableNames: 'obsoletion modification'\x0a\x09package: 'Cypress-Definitions'!\x0a\x0a!CypressModification methodsFor: 'not yet classified'!\x0a\x0abase: base target: target\x0a\x0a\x09obsoletion := base.\x0a\x09modification := target.\x0a! !\x0a\x0a!CypressModification class methodsFor: 'not yet classified'!\x0a\x0aof: base to: target\x0a\x09^ self new base: base target: target\x0a! !\x0a\x0aCypressPatchOperation subclass: #CypressRemoval\x0a\x09instanceVariableNames: 'definition'\x0a\x09package: 'Cypress-Definitions'!\x0a\x0a!CypressRemoval methodsFor: 'not yet classified'!\x0a\x0adefinition: aDefinition\x0a\x0a\x09definition := aDefinition\x0a! !\x0a\x0a!CypressRemoval class methodsFor: 'not yet classified'!\x0a\x0aof: aDefinition\x0a\x09^ self new definition: aDefinition\x0a! !\x0a\x0a!Object methodsFor: '*Cypress-Definitions'!\x0a\x0aspecies\x0a\x0a\x09^self class\x0a! !\x0a\x0a!Class methodsFor: '*Cypress-Definitions'!\x0a\x0aasCypressClassDefinition\x0a\x09^CypressClassDefinition\x0a\x09\x09name: self name\x0a\x09\x09superclassName: self superclass name\x0a\x09\x09category: self category \x0a\x09\x09instVarNames: self instanceVariableNames\x0a\x09\x09classInstVarNames: self class instanceVariableNames\x0a\x09\x09comment: self comment\x0a! !\x0a\x0a!CompiledMethod methodsFor: '*Cypress-Definitions'!\x0a\x0aasCypressMethodDefinition\x0a\x0a\x09^CypressMethodDefinition \x0a        \x09className: self methodClass name\x0a\x09\x09classIsMeta: self methodClass isMetaclass\x0a\x09\x09selector: self selector\x0a\x09\x09category: self category\x0a\x09\x09source: self source\x0a! !\x0a\x0a!CharacterArray methodsFor: '*Cypress-Definitions'!\x0a\x0asameAs: aString\x0a\x0a\x09^self asUppercase = aString asUppercase\x0a! !\x0a\x0a";
-return self;}
+selector: "codeGeneratorClass",
+fn: function () {
+    var self = this;
+    return smalltalk.CodeGenerator || CodeGenerator;
+}
 }),
-smalltalk.ImporterTest);
+smalltalk.CodeGeneratorTest);
 
 smalltalk.addMethod(
-"_chunkString",
+"_compiler",
 smalltalk.method({
-selector: "chunkString",
-fn: function (){
-var self=this;
-return "!Object methodsFor: 'importer test method'!\x0a\x0aimporterTestMethod\x0a\x0a\x09^'success'\x0a! !\x0a";
-return self;}
+selector: "compiler",
+fn: function () {
+    var self = this;
+    var $2, $3, $1;
+    $2 = smalltalk.send(smalltalk.Compiler || Compiler, "_new", []);
+    smalltalk.send($2, "_codeGeneratorClass_", [smalltalk.send(self, "_codeGeneratorClass", [])]);
+    $3 = smalltalk.send($2, "_yourself", []);
+    $1 = $3;
+    return $1;
+}
 }),
-smalltalk.ImporterTest);
+smalltalk.CodeGeneratorTest);
 
 smalltalk.addMethod(
-"_cleanUp",
+"_setUp",
 smalltalk.method({
-selector: "cleanUp",
-fn: function (){
-var self=this;
-((($receiver = smalltalk.send(smalltalk.send((smalltalk.Object || Object), "_methodDictionary", []), "_includesKey_", [smalltalk.symbolFor("importerTestMethod")])).klass === smalltalk.Boolean) ? ($receiver ? (function(){return smalltalk.send((smalltalk.Object || Object), "_removeCompiledMethod_", [smalltalk.send((smalltalk.Object || Object), "_methodAt_", [smalltalk.symbolFor("importerTestMethod")])]);})() : nil) : smalltalk.send($receiver, "_ifTrue_", [(function(){return smalltalk.send((smalltalk.Object || Object), "_removeCompiledMethod_", [smalltalk.send((smalltalk.Object || Object), "_methodAt_", [smalltalk.symbolFor("importerTestMethod")])]);})]));
-return self;}
+selector: "setUp",
+fn: function () {
+    var self = this;
+    self['@receiver'] = smalltalk.send(smalltalk.send(self, "_targetClass", []), "_new", []);
+    return self;
+}
 }),
-smalltalk.ImporterTest);
+smalltalk.CodeGeneratorTest);
 
 smalltalk.addMethod(
-"_setUp",
+"_should_return_",
 smalltalk.method({
-selector: "setUp",
-fn: function (){
-var self=this;
-smalltalk.send(self, "_setUp", [], smalltalk.ImporterTest.superclass || nil);
-smalltalk.send(self, "_cleanUp", []);
-return self;}
+selector: "should:return:",
+fn: function (aString, anObject) {
+    var self = this;
+    var method;
+    var result;
+    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;
+}
 }),
-smalltalk.ImporterTest);
+smalltalk.CodeGeneratorTest);
 
 smalltalk.addMethod(
 "_tearDown",
 smalltalk.method({
 selector: "tearDown",
-fn: function (){
-var self=this;
-smalltalk.send(self, "_tearDown", [], smalltalk.ImporterTest.superclass || nil);
-smalltalk.send(self, "_cleanUp", []);
-return self;}
+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;
+}
+}),
+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;
+    var ast;
+    src = "foo self := 1";
+    ast = smalltalk.send(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. [\xA0[ ^ a]\xA0]";
+    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\xA0] ]";
+    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\xA0] ]";
+    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, "_should_raise_", [function () {return smalltalk.send(self['@analyzer'], "_visit_", [ast]);}, smalltalk.UnknownVariableError || UnknownVariableError]);
+    return self;
+}
+}),
+smalltalk.SemanticAnalyzerTest);
+
+smalltalk.addMethod(
+"_testUnknownVariablesDefinedInJS",
+smalltalk.method({
+selector: "testUnknownVariablesDefinedInJS",
+fn: function () {
+    var self = this;
+    var someVariable = 1;
+    smalltalk.send(self, "_shouldnt_raise_", [function () {return smalltalk.send(smalltalk, "_parse_", ["foo someVariable"]);}, smalltalk.UnknownVariableError || UnknownVariableError]);
+    return self;
+}
 }),
-smalltalk.ImporterTest);
+smalltalk.SemanticAnalyzerTest);
 
 smalltalk.addMethod(
-"_testBigChunkString",
+"_testUnknownVariablesWithScope",
 smalltalk.method({
-selector: "testBigChunkString",
-fn: function (){
-var self=this;
-smalltalk.send(smalltalk.send((smalltalk.Importer || Importer), "_new", []), "_import_", [smalltalk.send(smalltalk.send(self, "_bigChunkString", []), "_readStream", [])]);
-smalltalk.send(smalltalk.send((smalltalk.CypressPackage || CypressPackage), "_new", []), "_species", []);
-return self;}
+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, "_should_raise_", [function () {return smalltalk.send(self['@analyzer'], "_visit_", [ast]);}, smalltalk.UnknownVariableError || UnknownVariableError]);
+    return self;
+}
 }),
-smalltalk.ImporterTest);
+smalltalk.SemanticAnalyzerTest);
 
 smalltalk.addMethod(
-"_testChunkString",
+"_testVariableShadowing",
 smalltalk.method({
-selector: "testChunkString",
-fn: function (){
-var self=this;
-smalltalk.send(smalltalk.send((smalltalk.Importer || Importer), "_new", []), "_import_", [smalltalk.send(smalltalk.send(self, "_chunkString", []), "_readStream", [])]);
-smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send((smalltalk.Object || Object), "_methodDictionary", []), "_includesKey_", ["importerTestMethod"])]);
-smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send((smalltalk.Object || Object), "_new", []), "_importerTestMethod", []), "__eq", ["success"])]);
-return self;}
+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.ImporterTest);
+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(
-"_importerLoadMethod",
+"_testVariableShadowing4",
 smalltalk.method({
-selector: "importerLoadMethod",
-fn: function (){
-var self=this;
-return "success";
-return self;}
+selector: "testVariableShadowing4",
+fn: function () {
+    var self = this;
+    var src;
+    var ast;
+    src = "foo | a | a + 1. [ [\xA0[ | b | b := 2 ]\xA0]\xA0]";
+    ast = smalltalk.send(smalltalk, "_parse_", [src]);
+    smalltalk.send(self['@analyzer'], "_visit_", [ast]);
+    return self;
+}
 }),
-smalltalk.Object);
+smalltalk.SemanticAnalyzerTest);
+
+smalltalk.addMethod(
+"_testVariableShadowing5",
+smalltalk.method({
+selector: "testVariableShadowing5",
+fn: function () {
+    var self = this;
+    var src;
+    var ast;
+    src = "foo | a | a + 1. [ [\xA0[ | a | a := 2 ]\xA0]\xA0]";
+    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);
+
+