UNPKG

minigrace

Version:

A compiler for the Grace programming language

727 lines 125 kB
let gracecode_beginningStudent_sourceFile = "/Users/black/Development/mg/gracelang/minigrace/modules/beginningStudent.grace"; let gracecode_beginningStudent_sha256 = "0b3a636e9093cdb165e460f28bfc56183dd27897a4236b60d112f67bcf9b61b8"; let gracecode_beginningStudent_minigraceRevision = "b57591d29fc5ee5270d114920bf671367b8c3ecb"; let gracecode_beginningStudent_minigraceGeneration = "5171"; if (typeof gctCache !== "undefined") gctCache["beginningStudent"] = "dialect:\nfreshScopes:\n $104 trait\n $105 trait\n $106\n $107\n $108 trait\n $109 trait\n $110 trait\n $111 trait\n $112\n $113 trait\n $114 trait\n $115\n $117 trait\n $118 trait\nmodules:\n ast\n collections\n minispecBundle\n mirror\n regularExpression\n standardBundle\n typeComparison\n unicode\npath:\n /Users/black/Development/mg/gracelang/minigrace/modules/beginningStudent.grace\nscope:$102:\n AndPattern(2) Unknown (mth) $105\n AndType(2) Unknown (mth) $106\n AssertionFailure Unknown (mth) $scope_done\n BarType(2) Unknown (mth) $107\n BasePattern Unknown (mth) $108\n BaseType Unknown (mth) $109\n Binding type\n Boolean type\n BoundsError Unknown (mth) $scope_done\n Collection type\n CollectionFactory type\n ConcurrentModification Unknown (mth) $scope_done\n DialectError Unknown (mth) $scope_done\n Dictionary type\n Done type\n Enumerable type\n EnvironmentException Unknown (mth) $scope_done\n EqualityObject type\n Exception Unknown (mth) $scope_done\n ExceptionKind type\n ExceptionPacket type\n Function0 type\n Function1 type\n Function2 type\n Function3 type\n Interface type\n Iterator type\n IteratorExhausted Unknown (mth) $scope_done\n List type\n MinispecError Unknown (mth) $scope_done\n NoSuchMethod Unknown (mth) $scope_done\n NoSuchObject Unknown (mth) $scope_done\n None type\n NotPattern(1) Unknown (mth) $110\n Number type\n Object type\n OrPattern(2) Unknown (mth) $111\n Pattern type\n Point type\n Predicate0 type\n Predicate1 type\n Predicate2 type\n Predicate3 type\n Procedure0 type\n Procedure1 type\n Procedure2 type\n Procedure3 type\n ProgrammingError Unknown (mth) $scope_done\n RequestError Unknown (mth) $scope_done\n ResourceException Unknown (mth) $scope_done\n RuntimeError Unknown (mth) $scope_done\n SelfType type\n Sequence type\n Sequenceable type\n Set type\n Signature type\n Sink type\n String type\n SubobjectResponsibility Unknown (mth) $scope_done\n Type type\n TypeError Unknown (mth) $scope_done\n TypeExclusion(2) Unknown (mth) $112\n TypeIntersection(2) Unknown (mth) $scope_done\n TypeVariant(2) Unknown (mth) $scope_done\n UnimplementedMethod Unknown (mth) $scope_done\n UninitializedVariable Unknown (mth) $scope_done\n abstract Unknown (mth) $scope_done\n annotation Unknown (mth) $scope_done\n asDebugString String (go) $scope_string\n asString String (go) $scope_string\n assert(1) Unknown (mth) $scope_done\n assert(1)description(1) Unknown (mth) $scope_done\n assert(1)hasType(1) Unknown (mth) $scope_done\n assert(1)shouldBe(1) Unknown (mth) $scope_done\n assert(1)shouldEqual(1)within(1) Unknown (mth) $scope_done\n assert(1)shouldRaise(1) Unknown (mth) $scope_done\n assert(1)shouldRaise(1)matchedBy(1) Unknown (mth) $scope_done\n assert(1)shouldRaise(1)mentioning(1) Unknown (mth) $scope_done\n assert(1)shouldRaise(1)mentioning(1)and(1) Unknown (mth) $scope_done\n assert(1)shouldntBe(1) Unknown (mth) $scope_done\n assert(1)shouldntRaise(1) Unknown (mth) $scope_done\n assertType(1)describes(1) Unknown (mth) $scope_done\n assertType(1)exactlyDescribes(1) Unknown (mth) $scope_done\n basicAsString String (go) $scope_string\n binding Unknown (mth) $scope_done\n collection Unknown (mth) $scope_done\n confidential Unknown (mth) $scope_done\n countOneAssertion Unknown (mth) $scope_done\n deny(1) Unknown (mth) $scope_done\n deny(1)description(1) Unknown (mth) $scope_done\n deny(1)hasType(1) Unknown (mth) $scope_done\n deny(1)shouldBe(1) Unknown (mth) $scope_done\n describe(1)with(1) Unknown (mth) $scope_done\n dictionary Unknown (mth) $scope_done\n dictionary(1) Unknown (mth) $scope_done\n dictionary(10) Unknown (mth) $scope_done\n dictionary(2) Unknown (mth) $scope_done\n dictionary(3) Unknown (mth) $scope_done\n dictionary(4) Unknown (mth) $scope_done\n dictionary(5) Unknown (mth) $scope_done\n dictionary(6) Unknown (mth) $scope_done\n dictionary(7) Unknown (mth) $scope_done\n dictionary(8) Unknown (mth) $scope_done\n dictionary(9) Unknown (mth) $scope_done\n do(1)while(1) Unknown (mth) $scope_done\n doNotRerunErrors Unknown (mth) $scope_done\n doRerunErrors Unknown (mth) $scope_done\n done Unknown (mth) $scope_done\n enumerable Unknown (mth) $scope_done\n equality Unknown (mth) $113\n exit Unknown (mth) $scope_done\n expect(1)notToBe(1) Unknown (mth) $scope_done\n expect(1)notToBe(1)orSay(1) Unknown (mth) $scope_done\n expect(1)notToHaveType(1) Unknown (mth) $scope_done\n expect(1)notToRaise(1) Unknown (mth) $scope_done\n expect(1)orSay(1) Unknown (mth) $scope_done\n expect(1)toBe(1) Unknown (mth) $scope_done\n expect(1)toBe(1)orSay(1) Unknown (mth) $scope_done\n expect(1)toBe(1)within(1) Unknown (mth) $scope_done\n expect(1)toHaveType(1) Unknown (mth) $scope_done\n expect(1)toRaise(1) Unknown (mth) $scope_done\n expect(1)toRaise(1)matchedBy(1) Unknown (mth) $scope_done\n expect(1)toRaise(1)mentioning(1) Unknown (mth) $scope_done\n expect(1)toRaise(1)mentioning(1)and(1) Unknown (mth) $scope_done\n expectType(1)toDescribe(1) Unknown (mth) $scope_done\n expectType(1)toExactlyDescribe(1) Unknown (mth) $scope_done\n failAndSay(1) Unknown (mth) $scope_done\n failBecause(1) Unknown (mth) $scope_done\n for(1)and(1)do(1) Unknown (mth) $scope_done\n for(1)do(1) Unknown (mth) $scope_done\n hashCombine(2) Unknown (mth) $scope_done\n identityEquality Unknown (mth) $114\n indexable Unknown (mth) $scope_done\n infinity Unknown (mth) $scope_done\n isMe(1) Boolean (go) $scope_boolean\n isName(1)requesting(1) Unknown (mth) $scope_done confidential\n list Unknown (mth) $scope_done\n list(1) Unknown (mth) $scope_done\n list(10) Unknown (mth) $scope_done\n list(2) Unknown (mth) $scope_done\n list(3) Unknown (mth) $scope_done\n list(4) Unknown (mth) $scope_done\n list(5) Unknown (mth) $scope_done\n list(6) Unknown (mth) $scope_done\n list(7) Unknown (mth) $scope_done\n list(8) Unknown (mth) $scope_done\n list(9) Unknown (mth) $scope_done\n max(2) Unknown (mth) $scope_done\n methodsIn(1)missingFrom(1) String (mth) $scope_done\n min(2) Unknown (mth) $scope_done\n myIdentityHash Number (go) $scope_number\n numberOfErrorsToRerun Number (mth) $scope_done\n numberOfErrorsToRerun:=(1) Unknown (mth) $scope_done\n override Unknown (mth) $scope_done\n pi Unknown (mth) $scope_done\n point2Dx(1)y(1) Unknown (mth) $115\n primitiveArray Unknown (mth) $116\n protocolOf(1)notCoveredBy(1) String (mth) $scope_done\n public Unknown (mth) $scope_done\n range Unknown (mth) $scope_done\n readable Unknown (mth) $scope_done\n repeat(1)times(1) Unknown (mth) $scope_done\n required Unknown (mth) $scope_done\n sequence Unknown (mth) $scope_done\n sequence(1) Unknown (mth) $scope_done\n sequence(10) Unknown (mth) $scope_done\n sequence(2) Unknown (mth) $scope_done\n sequence(3) Unknown (mth) $scope_done\n sequence(4) Unknown (mth) $scope_done\n sequence(5) Unknown (mth) $scope_done\n sequence(6) Unknown (mth) $scope_done\n sequence(7) Unknown (mth) $scope_done\n sequence(8) Unknown (mth) $scope_done\n sequence(9) Unknown (mth) $scope_done\n set Unknown (mth) $scope_done\n set(1) Unknown (mth) $scope_done\n set(10) Unknown (mth) $scope_done\n set(2) Unknown (mth) $scope_done\n set(3) Unknown (mth) $scope_done\n set(4) Unknown (mth) $scope_done\n set(5) Unknown (mth) $scope_done\n set(6) Unknown (mth) $scope_done\n set(7) Unknown (mth) $scope_done\n set(8) Unknown (mth) $scope_done\n set(9) Unknown (mth) $scope_done\n singleton Unknown (mth) $117\n singleton(1) Unknown (mth) $118\n specify(1)by(1) Unknown (mth) $scope_done\n testCaseNamed(1)setupIn(1)asTestNumber(1) TestCase (mth) $104\n thisDialect Unknown (def) $103 public\n valueOf(1) Unknown (mth) $scope_done\n while(1)do(1) Unknown (mth) $scope_done\n writable Unknown (mth) $scope_done\n \u03c0 Unknown (mth) $scope_done\nscope:$103:\n asDebugString String (go) $scope_string\n asString String (go) $scope_string\n basicAsString String (go) $scope_string\n isMe(1) Boolean (go) $scope_boolean\n myIdentityHash Number (go) $scope_number\n parseChecker(1) Unknown (mth) $scope_done\nscope:$104:\n AssertionFailure Unknown (mth) $scope_done\n asDebugString String (go) $scope_string\n asString String (go) $scope_string\n assert(1) Unknown (mth) $scope_done\n assert(1)description(1) Unknown (mth) $scope_done\n assert(1)hasType(1) Unknown (mth) $scope_done\n assert(1)shouldBe(1) Unknown (mth) $scope_done\n assert(1)shouldEqual(1)within(1) Unknown (mth) $scope_done\n assert(1)shouldRaise(1) Unknown (mth) $scope_done\n assert(1)shouldRaise(1)matchedBy(1) Unknown (mth) $scope_done\n assert(1)shouldRaise(1)mentioning(1) Unknown (mth) $scope_done\n assert(1)shouldRaise(1)mentioning(1)and(1) Unknown (mth) $scope_done\n assert(1)shouldntBe(1) Unknown (mth) $scope_done\n assert(1)shouldntRaise(1) Unknown (mth) $scope_done\n assertType(1)describes(1) Unknown (mth) $scope_done\n assertType(1)exactlyDescribes(1) Unknown (mth) $scope_done\n basicAsString String (go) $scope_string\n countOneAssertion Unknown (mth) $scope_done\n currentResult Unknown (var) $scopeEmpty\n currentResult:=(1) Unknown (mth) $scope_done\n debug(1) Unknown (mth) $scope_done\n debugAndPrintResults Unknown (mth) $scope_done\n deny(1) Unknown (mth) $scope_done\n deny(1)description(1) Unknown (mth) $scope_done\n deny(1)hasType(1) Unknown (mth) $scope_done\n deny(1)shouldBe(1) Unknown (mth) $scope_done\n failBecause(1) Unknown (mth) $scope_done\n guSetup Unknown (mth) $scope_done\n isMe(1) Boolean (go) $scope_boolean\n methodsIn(1)missingFrom(1) String (mth) $scope_done\n myIdentityHash Number (go) $scope_number\n name Unknown (mth) $scope_done\n printBackTrace(1)limitedTo(1) Unknown (mth) $scope_done\n protocolOf(1)notCoveredBy(1) String (mth) $scope_done\n run(1) Unknown (mth) $scope_done\n runAndPrintResults Unknown (mth) $scope_done\n runTest Unknown (mth) $scope_done\n setup Unknown (mth) $scope_done\n size Unknown (def) $scope_number\n teardown Unknown (mth) $scope_done\nscope:$105:\n &(1) Unknown (mth) $scope_done\n asDebugString String (go) $scope_string\n asString String (go) $scope_string\n basicAsString String (go) $scope_string\n isMe(1) Boolean (go) $scope_boolean\n isType Unknown (mth) $scope_done\n matches(1) Unknown (mth) $scope_done\n myIdentityHash Number (go) $scope_number\n prefix\u00ac Unknown (mth) $scope_done\n setTypeName(1) Unknown (mth) $scope_done\n |(1) Unknown (mth) $scope_done\nscope:$106:\n &(1) Unknown (mth) $scope_done\n -(1) Unknown (mth) $scope_done\n ::(1) Unknown (mth) $scope_done\n ==(1) Unknown (mth) $scope_done\n asDebugString Unknown (mth) $scope_done\n asString Unknown (mth) $scope_done\n basicAsString String (go) $scope_string\n hash Unknown (mth) $scope_done\n interfaces Unknown (def) $scope_done\n isInterface Unknown (mth) $scope_done\n isMe(1) Boolean (go) $scope_boolean\n isNone Unknown (mth) $scope_done\n isType Unknown (mth) $scope_done\n matchHook(1) Unknown (mth) $scope_done\n matches(1) Unknown (mth) $scope_done\n myIdentityHash Number (go) $scope_number\n name Unknown (var) $scopeEmpty\n name:=(1) Unknown (var) $scopeEmpty\n prefix== Unknown (mth) $scope_done\n prefix\u00ac Unknown (mth) $scope_done\n prefix\u2260 Unknown (mth) $scope_done\n setName(1) Unknown (mth) $scope_done\n setTypeName(1) Unknown (mth) $scope_done\n typeParameterNames Unknown (mth) $scope_done\n |(1) Unknown (mth) $scope_done\n \u2260(1) Unknown (mth) $scope_done\nscope:$107:\n &(1) Unknown (mth) $scope_done\n -(1) Unknown (mth) $scope_done\n ::(1) Unknown (mth) $scope_done\n ==(1) Unknown (mth) $scope_done\n asDebugString String (go) $scope_string\n asString Unknown (mth) $scope_done\n basicAsString String (go) $scope_string\n hash Unknown (mth) $scope_done\n interfaces Unknown (mth) $scope_done\n isInterface Unknown (mth) $scope_done\n isMe(1) Boolean (go) $scope_boolean\n isNone Unknown (mth) $scope_done\n isType Unknown (mth) $scope_done\n matchHook(1) Unknown (mth) $scope_done\n matches(1) Unknown (mth) $scope_done\n myIdentityHash Number (go) $scope_number\n name Unknown (var) $scopeEmpty\n name:=(1) Unknown (var) $scopeEmpty\n prefix== Unknown (mth) $scope_done\n prefix\u00ac Unknown (mth) $scope_done\n prefix\u2260 Unknown (mth) $scope_done\n setName(1) Unknown (mth) $scope_done\n setTypeName(1) Unknown (mth) $scope_done\n typeParameterNames Unknown (mth) $scope_done\n |(1) Unknown (mth) $scope_done\n \u2260(1) Unknown (mth) $scope_done\nscope:$108:\n &(1) Unknown (mth) $scope_done\n asDebugString String (go) $scope_string\n asString String (go) $scope_string\n basicAsString String (go) $scope_string\n isMe(1) Boolean (go) $scope_boolean\n isType Unknown (mth) $scope_done\n myIdentityHash Number (go) $scope_number\n prefix\u00ac Unknown (mth) $scope_done\n setTypeName(1) Unknown (mth) $scope_done\n |(1) Unknown (mth) $scope_done\nscope:$109:\n &(1) Unknown (mth) $scope_done\n -(1) Unknown (mth) $scope_done\n ::(1) Unknown (mth) $scope_done\n ==(1) Unknown (mth) $scope_done\n asDebugString String (go) $scope_string\n asString Unknown (mth) $scope_done\n basicAsString String (go) $scope_string\n hash Unknown (mth) $scope_done\n interfaces Unknown (req) $scopeUniv\n isInterface Unknown (mth) $scope_done\n isMe(1) Boolean (go) $scope_boolean\n isNone Unknown (mth) $scope_done\n isType Unknown (mth) $scope_done\n matchHook(1) Unknown (req) $scopeUniv\n matches(1) Unknown (mth) $scope_done\n myIdentityHash Number (go) $scope_number\n name Unknown (req) $scopeUniv\n name:=(1) Unknown (req) $scopeUniv\n prefix== Unknown (mth) $scope_done\n prefix\u00ac Unknown (mth) $scope_done\n prefix\u2260 Unknown (mth) $scope_done\n setName(1) Unknown (mth) $scope_done\n setTypeName(1) Unknown (mth) $scope_done\n typeParameterNames Unknown (mth) $scope_done\n |(1) Unknown (mth) $scope_done\n \u2260(1) Unknown (mth) $scope_done\nscope:$110:\n &(1) Unknown (mth) $scope_done\n asDebugString String (go) $scope_string\n asString String (go) $scope_string\n basicAsString String (go) $scope_string\n isMe(1) Boolean (go) $scope_boolean\n isType Unknown (mth) $scope_done\n matches(1) Unknown (mth) $scope_done\n myIdentityHash Number (go) $scope_number\n prefix\u00ac Unknown (mth) $scope_done\n setTypeName(1) Unknown (mth) $scope_done\n |(1) Unknown (mth) $scope_done\nscope:$111:\n &(1) Unknown (mth) $scope_done\n asDebugString String (go) $scope_string\n asString String (go) $scope_string\n basicAsString String (go) $scope_string\n isMe(1) Boolean (go) $scope_boolean\n isType Unknown (mth) $scope_done\n matches(1) Unknown (mth) $scope_done\n myIdentityHash Number (go) $scope_number\n prefix\u00ac Unknown (mth) $scope_done\n setTypeName(1) Unknown (mth) $scope_done\n |(1) Unknown (mth) $scope_done\nscope:$112:\n &(1) Unknown (mth) $scope_done\n -(1) Unknown (mth) $scope_done\n ::(1) Unknown (mth) $scope_done\n ==(1) Unknown (mth) $scope_done\n asDebugString String (go) $scope_string\n asString Unknown (mth) $scope_done\n basicAsString String (go) $scope_string\n hash Unknown (mth) $scope_done\n interfaces Unknown (mth) $scope_done\n isInterface Unknown (mth) $scope_done\n isMe(1) Boolean (go) $scope_boolean\n isNone Unknown (mth) $scope_done\n isType Unknown (mth) $scope_done\n matchHook(1) Unknown (req) $scopeUniv\n matches(1) Unknown (mth) $scope_done\n myIdentityHash Number (go) $scope_number\n name Unknown (var) $scopeEmpty\n name:=(1) Unknown (var) $scopeEmpty\n prefix== Unknown (mth) $scope_done\n prefix\u00ac Unknown (mth) $scope_done\n prefix\u2260 Unknown (mth) $scope_done\n setName(1) Unknown (mth) $scope_done\n setTypeName(1) Unknown (mth) $scope_done\n typeParameterNames Unknown (mth) $scope_done\n |(1) Unknown (mth) $scope_done\n \u2260(1) Unknown (mth) $scope_done\nscope:$113:\n ::(1) Unknown (mth) $scope_done\n ==(1) Unknown (req) $scopeUniv\n asDebugString String (go) $scope_string\n asString String (go) $scope_string\n basicAsString String (go) $scope_string\n hash Unknown (req) $scopeUniv\n isMe(1) Boolean (go) $scope_boolean\n myIdentityHash Number (go) $scope_number\n prefix== Unknown (mth) $scope_done\n prefix\u2260 Unknown (mth) $scope_done\n \u2260(1) Unknown (mth) $scope_done\nscope:$114:\n ::(1) Unknown (mth) $scope_done\n ==(1) Unknown (mth) $scope_done\n asDebugString String (go) $scope_string\n asString String (go) $scope_string\n basicAsString String (go) $scope_string\n hash Unknown (mth) $scope_done\n isMe(1) Boolean (go) $scope_boolean\n myIdentityHash Number (go) $scope_number\n prefix== Unknown (mth) $scope_done\n prefix\u2260 Unknown (mth) $scope_done\n \u2260(1) Unknown (mth) $scope_done\nscope:$115:\n *(1) Unknown (mth) $scope_done\n +(1) Unknown (mth) $scope_done\n -(1) Unknown (mth) $scope_done\n /(1) Unknown (mth) $scope_done\n ::(1) Unknown (mth) $scope_done\n ==(1) Unknown (mth) $scope_done\n asDebugString Unknown (mth) $scope_done\n asString Unknown (mth) $scope_done\n basicAsString String (go) $scope_string\n distanceTo(1) Unknown (mth) $scope_done\n dot(1) Number (mth) $scope_done\n hash Unknown (mth) $scope_done\n isMe(1) Boolean (go) $scope_boolean\n length Unknown (mth) $scope_done\n myIdentityHash Number (go) $scope_number\n norm Unknown (mth) $scope_done\n prefix- Unknown (mth) $scope_done\n prefix== Unknown (mth) $scope_done\n prefix\u2260 Unknown (mth) $scope_done\n reverseDivideNumber(1) Unknown (mth) $scope_done\n reverseMinusNumber(1) Unknown (mth) $scope_done\n reversePlusNumber(1) Unknown (mth) $scope_done\n reverseTimesNumber(1) Unknown (mth) $scope_done\n x Unknown (def) $scopeEmpty\n y Unknown (def) $scopeEmpty\n \u2260(1) Unknown (mth) $scope_done\n \u22c5(1) Number (mth) $scope_done\nscope:$116:\n asDebugString String (go) $scope_string\n asString String (go) $scope_string\n basicAsString String (go) $scope_string\n isMe(1) Boolean (go) $scope_boolean\n myIdentityHash Number (go) $scope_number\n new(1) Unknown (mth) $scope_done\nscope:$117:\n &(1) Unknown (mth) $scope_done\n ::(1) Unknown (mth) $scope_done\n ==(1) Unknown (mth) $scope_done\n asDebugString String (go) $scope_string\n asString String (go) $scope_string\n basicAsString String (go) $scope_string\n hash Unknown (mth) $scope_done\n isMe(1) Boolean (go) $scope_boolean\n isType Unknown (mth) $scope_done\n matches(1) Unknown (mth) $scope_done\n myIdentityHash Number (go) $scope_number\n prefix== Unknown (mth) $scope_done\n prefix\u00ac Unknown (mth) $scope_done\n prefix\u2260 Unknown (mth) $scope_done\n setTypeName(1) Unknown (mth) $scope_done\n |(1) Unknown (mth) $scope_done\n \u2260(1) Unknown (mth) $scope_done\nscope:$118:\n &(1) Unknown (mth) $scope_done\n ::(1) Unknown (mth) $scope_done\n ==(1) Unknown (mth) $scope_done\n asDebugString String (go) $scope_string\n asString Unknown (mth) $scope_done\n basicAsString String (go) $scope_string\n hash Unknown (mth) $scope_done\n isMe(1) Boolean (go) $scope_boolean\n isType Unknown (mth) $scope_done\n matches(1) Unknown (mth) $scope_done\n myIdentityHash Number (go) $scope_number\n prefix== Unknown (mth) $scope_done\n prefix\u00ac Unknown (mth) $scope_done\n prefix\u2260 Unknown (mth) $scope_done\n setTypeName(1) Unknown (mth) $scope_done\n |(1) Unknown (mth) $scope_done\n \u2260(1) Unknown (mth) $scope_done\nself:\n $102\ntypes:\n"; if (typeof originalSourceLines !== "undefined") { originalSourceLines["beginningStudent"] = [ "dialect \"none\"", "", "import \"ast\" as ast", "import \"mirror\" as mirror", "import \"unicode\" as unicode", "import \"typeComparison\" as tc", "import \"collections\" as collections", "import \"standardBundle\" as standardBundle", "import \"minispecBundle\" as minispecBundle", "import \"regularExpression\" as regex", "", "use minispecBundle.open", "use standardBundle.open", " exclude list(_)", " exclude dictionary(_)", " exclude sequence(_)", " exclude set(_)", "", "method list⟦T⟧(a) {", " collections.list⟦T⟧.withAll [a]", "}", "method list⟦T⟧(a, b) {", " collections.list⟦T⟧.withAll [a, b]", "}", "method list⟦T⟧(a, b, c) {", " collections.list⟦T⟧.withAll [a, b, c]", "}", "method list⟦T⟧(a, b, c, d) {", " collections.list⟦T⟧.withAll [a, b, c, d]", "}", "method list⟦T⟧(a, b, c, d, e) {", " collections.list⟦T⟧.withAll [a, b, c, d, e]", "}", "method list⟦T⟧(a, b, c, d, e, f) {", " collections.list⟦T⟧.withAll [a, b, c, d, e, f]", "}", "method list⟦T⟧(a, b, c, d, e, f, g) {", " collections.list⟦T⟧.withAll [a, b, c, d, e, f, g]", "}", "method list⟦T⟧(a, b, c, d, e, f, g, h) {", " collections.list⟦T⟧.withAll [a, b, c, d, e, f, g, h]", "}", "method list⟦T⟧(a, b, c, d, e, f, g, h, i) {", " collections.list⟦T⟧.withAll [a, b, c, d, e, f, g, h, i]", "}", "method list⟦T⟧(a, b, c, d, e, f, g, h, i, j) {", " collections.list⟦T⟧.withAll [a, b, c, d, e, f, g, h, i, j]", "}", "", "method sequence⟦T⟧(a) {", " collections.sequence⟦T⟧.withAll [a]", "}", "method sequence⟦T⟧(a, b) {", " collections.sequence⟦T⟧.withAll [a, b]", "}", "method sequence⟦T⟧(a, b, c) {", " collections.sequence⟦T⟧.withAll [a, b, c]", "}", "method sequence⟦T⟧(a, b, c, d) {", " collections.sequence⟦T⟧.withAll [a, b, c, d]", "}", "method sequence⟦T⟧(a, b, c, d, e) {", " collections.sequence⟦T⟧.withAll [a, b, c, d, e]", "}", "method sequence⟦T⟧(a, b, c, d, e, f) {", " collections.sequence⟦T⟧.withAll [a, b, c, d, e, f]", "}", "method sequence⟦T⟧(a, b, c, d, e, f, g) {", " collections.sequence⟦T⟧.withAll [a, b, c, d, e, f, g]", "}", "method sequence⟦T⟧(a, b, c, d, e, f, g, h) {", " collections.sequence⟦T⟧.withAll [a, b, c, d, e, f, g, h]", "}", "method sequence⟦T⟧(a, b, c, d, e, f, g, h, i) {", " collections.sequence⟦T⟧.withAll [a, b, c, d, e, f, g, h, i]", "}", "method sequence⟦T⟧(a, b, c, d, e, f, g, h, i, j) {", " collections.sequence⟦T⟧.withAll [a, b, c, d, e, f, g, h, i, j]", "}", "", "method set⟦T⟧(a) {", " collections.set⟦T⟧.withAll [a]", "}", "method set⟦T⟧(a, b) {", " collections.set⟦T⟧.withAll [a, b]", "}", "method set⟦T⟧(a, b, c) {", " collections.set⟦T⟧.withAll [a, b, c]", "}", "method set⟦T⟧(a, b, c, d) {", " collections.set⟦T⟧.withAll [a, b, c, d]", "}", "method set⟦T⟧(a, b, c, d, e) {", " collections.set⟦T⟧.withAll [a, b, c, d, e]", "}", "method set⟦T⟧(a, b, c, d, e, f) {", " collections.set⟦T⟧.withAll [a, b, c, d, e, f]", "}", "method set⟦T⟧(a, b, c, d, e, f, g) {", " collections.set⟦T⟧.withAll [a, b, c, d, e, f, g]", "}", "method set⟦T⟧(a, b, c, d, e, f, g, h) {", " collections.set⟦T⟧.withAll [a, b, c, d, e, f, g, h]", "}", "method set⟦T⟧(a, b, c, d, e, f, g, h, i) {", " collections.set⟦T⟧.withAll [a, b, c, d, e, f, g, h, i]", "}", "method set⟦T⟧(a, b, c, d, e, f, g, h, i, j) {", " collections.set⟦T⟧.withAll [a, b, c, d, e, f, g, h, i, j]", "}", "", "method dictionary⟦T⟧(a) {", " collections.dictionary⟦T⟧.withAll [a]", "}", "method dictionary⟦T⟧(a, b) {", " collections.dictionary⟦T⟧.withAll [a, b]", "}", "method dictionary⟦T⟧(a, b, c) {", " collections.dictionary⟦T⟧.withAll [a, b, c]", "}", "method dictionary⟦T⟧(a, b, c, d) {", " collections.dictionary⟦T⟧.withAll [a, b, c, d]", "}", "method dictionary⟦T⟧(a, b, c, d, e) {", " collections.dictionary⟦T⟧.withAll [a, b, c, d, e]", "}", "method dictionary⟦T⟧(a, b, c, d, e, f) {", " collections.dictionary⟦T⟧.withAll [a, b, c, d, e, f]", "}", "method dictionary⟦T⟧(a, b, c, d, e, f, g) {", " collections.dictionary⟦T⟧.withAll [a, b, c, d, e, f, g]", "}", "method dictionary⟦T⟧(a, b, c, d, e, f, g, h) {", " collections.dictionary⟦T⟧.withAll [a, b, c, d, e, f, g, h]", "}", "method dictionary⟦T⟧(a, b, c, d, e, f, g, h, i) {", " collections.dictionary⟦T⟧.withAll [a, b, c, d, e, f, g, h, i]", "}", "method dictionary⟦T⟧(a, b, c, d, e, f, g, h, i, j) {", " collections.dictionary⟦T⟧.withAll [a, b, c, d, e, f, g, h, i, j]", "}", "", "def selfImage = mirror.reflect(self)", "", "selfImage.whenNoMethodDo { name, args, receiver ->", " if (isName (name) requesting \"list\") then {", " collections.list.withAll (args)", " } elseif {isName (name) requesting \"sequence\"} then {", " collections.sequence.withAll (args)", " } elseif {isName (name) requesting \"set\"} then {", " collections.set.withAll (args)", " } elseif {isName (name) requesting \"dictionary\"} then {", " collections.dictionary.withAll (args)", " } else {", " self.NoSuchMethod.raise \"no method {name} on {receiver}.\"", " }", "}", "", "method isName (canonicalName) requesting (soughtName) is confidential {", " if (canonicalName.startsWith(soughtName).not) then { return false }", " def re = regex.fromString (soughtName ++ ‹\\(_(,_)*\\)$›)", " re.matches(canonicalName)", "}", "", "def bsVisitor = object {", " inherit ast.baseVisitor", " method asString {", " \"the beginningStudent visitor\"", " }", "", " method visitArray(v) -> Boolean {", " DialectError.raise(\"square brackets are not used in this dialect; \" ++", " \"for a list, use list(_, _, ... )\") with (v)", " false", " }", " method visitVarDec(v) -> Boolean {", " def name = v.nameString", " if (false == v.dtype) then {", " DialectError.raise \"no type given to var '{v.nameString}'\"", " with (v.name)", " }", " if (unicode.inCategory(name, \"Lu\")) then {", " DialectError.raise(\"by convention, variables start \" ++", " \"with a lower-case letter\") with (v.name)", " }", " true", " }", " method visitDefDec(v) -> Boolean {", " def name = v.nameString", " if (unicode.inCategory(name, \"Lu\")) then {", " DialectError.raise(\"by convention, constants start \" ++", " \"with a lower-case letter\") with (v.name)", " }", " true", " }", " method visitMethod(v) -> Boolean {", " if (false == v.comments) then {", " def headerEnd = if (false == v.dtype) then {", " v.signatureParts.last.end", " } else {", " v.dtype.end", " }", " def loc = ast.start(v.start) end (headerEnd)", " DialectError.raise \"purpose statement missing from method '{v.canonicalName}'\"", " with (loc)", " }", " def commentString = v.comments.value", " def lowerCommentString = commentString.asLower", " v.parametersDo { p ->", " if (p.wildcard.not) then {", " def pn = p.nameString", " if (false == p.dtype) then {", " DialectError.raise \"no type given to parameter '{pn}'\"", " with (p)", " }", " if (unicode.inCategory(pn, \"Lu\")) then {", " DialectError.raise(\"by convention, parameters start \" ++", " \"with a lower-case letter\") with (p)", " }", " if (commentString.contains(pn).not) then {", " DialectError.raise \"purpose statement does not describe parameter '{pn}'\"", " with (v.comments)", " }", " }", " }", " def mn1 = v.signatureParts.first.name", " if (unicode.inCategory(mn1, \"Lu\")) then {", " DialectError.raise(\"by convention, method names start \" ++", " \"with a lower-case letter\") with (v.signatureParts.first)", " }", " if (v.isClass) then { return true }", " if (false == v.dtype) then {", " DialectError.raise \"no return type given to method '{v.canonicalName}'\" ", " with (ast.start(v.start)", " end(v.signatureParts.last.end))", " } elseif {", " (v.dtype.nameString ≠ \"Done\") && {", " ((lowerCommentString.contains \"returns\") || (lowerCommentString.contains \"answers\")).not", " }", " } then {", " DialectError.raise (\"purpose statement of method '{v.canonicalName}\" ++", " \"does not describe what it returns\") with (v.comments)", " }", " true", " }", " method visitBlock(v) -> Boolean {", " v.params.do { p ->", " if (p.isIdentifier && {p.wildcard.not && (false == p.dtype)}) then {", " DialectError.raise \"no type given to block parameter '{p.nameString}'\"", " with (p)", " }", " if (unicode.inCategory(p.nameString, \"Lu\")) then {", " DialectError.raise(\"by convention, parameters start \" ++", " \"with a lower-case letter\") with (p)", " }", " }", " true", " }", " method visitTypeDec(v) -> Boolean {", " def ns = v.nameString", " if (unicode.inCategory(ns, \"Lu\").not) then {", " DialectError.raise(\"by convention, type names start \" ++", " \"with an upper-case letter\") with (v.name)", " }", " true", " }", "}", "", "def thisDialect is public = object {", " method parseChecker (moduleObj) {", " moduleObj.accept(bsVisitor)", " }", "}" ]; } function gracecode_beginningStudent() { importedModules["beginningStudent"] = this; const var_$module = this; this.definitionModule = "beginningStudent"; this.definitionLine = 1; setLineNumber(1); // compilenode dialect // Dialect "none" const var_$dialect = new GraceModule("none"); this.outer = var_$dialect; setLineNumber(3); // compilenode import // Import of "ast" as ast if (typeof gracecode_ast == "undefined") throw new GraceExceptionPacket(EnvironmentExceptionObject, new GraceString("could not find module ast")); var var_ast = do_import("ast", gracecode_ast); var func0 = function(argcv) { // accessor method ast, line 3 const numArgs = arguments.length - 1; if (numArgs > 0) raiseTypeArgError("ast", 0, numArgs - 0); return var_ast; }; // end of method ast this.methods["ast"] = func0; func0.methodName = "ast"; func0.paramCounts = [0]; func0.paramNames = []; func0.definitionLine = 3; func0.definitionModule = "beginningStudent"; func0.debug = "import"; func0.confidential = true; setLineNumber(4); // compilenode import // Import of "mirror" as mirror if (typeof gracecode_mirror == "undefined") throw new GraceExceptionPacket(EnvironmentExceptionObject, new GraceString("could not find module mirror")); var var_mirror = do_import("mirror", gracecode_mirror); var func1 = function(argcv) { // accessor method mirror, line 4 const numArgs = arguments.length - 1; if (numArgs > 0) raiseTypeArgError("mirror", 0, numArgs - 0); return var_mirror; }; // end of method mirror this.methods["mirror"] = func1; func1.methodName = "mirror"; func1.paramCounts = [0]; func1.paramNames = []; func1.definitionLine = 4; func1.definitionModule = "beginningStudent"; func1.debug = "import"; func1.confidential = true; setLineNumber(5); // compilenode import // Import of "unicode" as unicode if (typeof gracecode_unicode == "undefined") throw new GraceExceptionPacket(EnvironmentExceptionObject, new GraceString("could not find module unicode")); var var_unicode = do_import("unicode", gracecode_unicode); var func2 = function(argcv) { // accessor method unicode, line 5 const numArgs = arguments.length - 1; if (numArgs > 0) raiseTypeArgError("unicode", 0, numArgs - 0); return var_unicode; }; // end of method unicode this.methods["unicode"] = func2; func2.methodName = "unicode"; func2.paramCounts = [0]; func2.paramNames = []; func2.definitionLine = 5; func2.definitionModule = "beginningStudent"; func2.debug = "import"; func2.confidential = true; setLineNumber(6); // compilenode import // Import of "typeComparison" as tc if (typeof gracecode_typeComparison == "undefined") throw new GraceExceptionPacket(EnvironmentExceptionObject, new GraceString("could not find module typeComparison")); var var_tc = do_import("typeComparison", gracecode_typeComparison); var func3 = function(argcv) { // accessor method tc, line 6 const numArgs = arguments.length - 1; if (numArgs > 0) raiseTypeArgError("tc", 0, numArgs - 0); return var_tc; }; // end of method tc this.methods["tc"] = func3; func3.methodName = "tc"; func3.paramCounts = [0]; func3.paramNames = []; func3.definitionLine = 6; func3.definitionModule = "beginningStudent"; func3.debug = "import"; func3.confidential = true; setLineNumber(7); // compilenode import // Import of "collections" as collections if (typeof gracecode_collections == "undefined") throw new GraceExceptionPacket(EnvironmentExceptionObject, new GraceString("could not find module collections")); var var_collections = do_import("collections", gracecode_collections); var func4 = function(argcv) { // accessor method collections, line 7 const numArgs = arguments.length - 1; if (numArgs > 0) raiseTypeArgError("collections", 0, numArgs - 0); return var_collections; }; // end of method collections this.methods["collections"] = func4; func4.methodName = "collections"; func4.paramCounts = [0]; func4.paramNames = []; func4.definitionLine = 7; func4.definitionModule = "beginningStudent"; func4.debug = "import"; func4.confidential = true; setLineNumber(8); // compilenode import // Import of "standardBundle" as standardBundle if (typeof gracecode_standardBundle == "undefined") throw new GraceExceptionPacket(EnvironmentExceptionObject, new GraceString("could not find module standardBundle")); var var_standardBundle = do_import("standardBundle", gracecode_standardBundle); var func5 = function(argcv) { // accessor method standardBundle, line 8 const numArgs = arguments.length - 1; if (numArgs > 0) raiseTypeArgError("standardBundle", 0, numArgs - 0); return var_standardBundle; }; // end of method standardBundle this.methods["standardBundle"] = func5; func5.methodName = "standardBundle"; func5.paramCounts = [0]; func5.paramNames = []; func5.definitionLine = 8; func5.definitionModule = "beginningStudent"; func5.debug = "import"; func5.confidential = true; setLineNumber(9); // compilenode import // Import of "minispecBundle" as minispecBundle if (typeof gracecode_minispecBundle == "undefined") throw new GraceExceptionPacket(EnvironmentExceptionObject, new GraceString("could not find module minispecBundle")); var var_minispecBundle = do_import("minispecBundle", gracecode_minispecBundle); var func6 = function(argcv) { // accessor method minispecBundle, line 9 const numArgs = arguments.length - 1; if (numArgs > 0) raiseTypeArgError("minispecBundle", 0, numArgs - 0); return var_minispecBundle; }; // end of method minispecBundle this.methods["minispecBundle"] = func6; func6.methodName = "minispecBundle"; func6.paramCounts = [0]; func6.paramNames = []; func6.definitionLine = 9; func6.definitionModule = "beginningStudent"; func6.debug = "import"; func6.confidential = true; setLineNumber(10); // compilenode import // Import of "regularExpression" as regex if (typeof gracecode_regularExpression == "undefined") throw new GraceExceptionPacket(EnvironmentExceptionObject, new GraceString("could not find module regularExpression")); var var_regex = do_import("regularExpression", gracecode_regularExpression); var func7 = function(argcv) { // accessor method regex, line 10 const numArgs = arguments.length - 1; if (numArgs > 0) raiseTypeArgError("regex", 0, numArgs - 0); return var_regex; }; // end of method regex this.methods["regex"] = func7; func7.methodName = "regex"; func7.paramCounts = [0]; func7.paramNames = []; func7.definitionLine = 10; func7.definitionModule = "beginningStudent"; func7.debug = "import"; func7.confidential = true; this.closureKeys = this.closureKeys || []; this.closureKeys.push("outer_beginningStudent_1"); this.outer_beginningStudent_1 = var_$dialect; setLineNumber(12); // reuse call var initFun8 = request(var_minispecBundle, "open$build(3)", [null], this, [], []); // compileReuseCall setLineNumber(13); // reuse call var initFun9 = request(var_standardBundle, "open$build(3)", [null], this, [], ["list(1)", "dictionary(1)", "sequence(1)", "set(1)"]); // compileReuseCall var func10 = function(argcv, var_a, var_T) { // method list(_), line 19 var returnTarget = invocationCount; invocationCount++; if (! var_T) var_T = type_Unknown; const numArgs = arguments.length - 1; if ((numArgs > 1) && (numArgs !== 2)) { raiseTypeArgError("list(_)", 1, numArgs - 1); } setLineNumber(20); // compilenode sequence var seq12 = new GraceSequence([var_a]); // call case 4: other requests // call case 4: other requests var call13 = request(var_collections, "list", [0, 1], var_T); var call11 = request(call13, "withAll(1)", [1], seq12); return call11; }; // end of method list(_) this.methods["list(1)"] = func10; func10.methodName = "list(1)"; func10.paramCounts = [1]; func10.paramNames = ["a"]; func10.typeParamNames = ["T"]; func10.definitionLine = 19; func10.definitionModule = "beginningStudent"; var func14 = function(argcv, var_a, var_b, var_T) { // method list(_,_), line 22 var returnTarget = invocationCount; invocationCount++; if (! var_T) var_T = type_Unknown; const numArgs = arguments.length - 1; if ((numArgs > 2) && (numArgs !== 3)) { raiseTypeArgError("list(_,_)", 1, numArgs - 2); } setLineNumber(23); // compilenode sequence var seq16 = new GraceSequence([var_a, var_b]); // call case 4: other requests // call case 4: other requests var call17 = request(var_collections, "list", [0, 1], var_T); var call15 = request(call17, "withAll(1)", [1], seq16); return call15; }; // end of method list(_,_) this.methods["list(2)"] = func14; func14.methodName = "list(2)"; func14.paramCounts = [2]; func14.paramNames = ["a", "b"]; func14.typeParamNames = ["T"]; func14.definitionLine = 22; func14.definitionModule = "beginningStudent"; var func18 = function(argcv, var_a, var_b, var_c, var_T) { // method list(_,_,_), line 25 var returnTarget = invocationCount; invocationCount++; if (! var_T) var_T = type_Unknown; const numArgs = arguments.length - 1; if ((numArgs > 3) && (numArgs !== 4)) { raiseTypeArgError("list(_,_,_)", 1, numArgs - 3); } setLineNumber(26); // compilenode sequence var seq20 = new GraceSequence([var_a, var_b, var_c]); // call case 4: other requests // call case 4: other requests var call21 = request(var_collections, "list", [0, 1], var_T); var call19 = request(call21, "withAll(1)", [1], seq20); return call19; }; // end of method list(_,_,_) this.methods["list(3)"] = func18; func18.methodName = "list(3)"; func18.paramCounts = [3]; func18.paramNames = ["a", "b", "c"]; func18.typeParamNames = ["T"]; func18.definitionLine = 25; func18.definitionModule = "beginningStudent"; var func22 = function(argcv, var_a, var_b, var_c, var_d, var_T) { // method list(_,_,_,_), line 28 var returnTarget = invocationCount; invocationCount++; if (! var_T) var_T = type_Unknown; const numArgs = arguments.length - 1; if ((numArgs > 4) && (numArgs !== 5)) { raiseTypeArgError("list(_,_,_,_)", 1, numArgs - 4); } setLineNumber(29); // compilenode sequence var seq24 = new GraceSequence([var_a, var_b, var_c, var_d]); // call case 4: other requests // call case 4: other requests var call25 = request(var_collections, "list", [0, 1], var_T); var call23 = request(call25, "withAll(1)", [1], seq24); return call23; }; // end of method list(_,_,_,_) this.methods["list(4)"] = func22; func22.methodName = "list(4)"; func22.paramCounts = [4]; func22.paramNames = ["a", "b", "c", "d"]; func22.typeParamNames = ["T"]; func22.definitionLine = 28; func22.definitionModule = "beginningStudent"; var func26 = function(argcv, var_a, var_b, var_c, var_d, var_e, var_T) { // method list(_,_,_,_,_), line 31 var returnTarget = invocationCount; invocationCount++; if (! var_T) var_T = type_Unknown; const numArgs = arguments.length - 1; if ((numArgs > 5) && (numArgs !== 6)) { raiseTypeArgError("list(_,_,_,_,_)", 1, numArgs - 5); } setLineNumber(32); // compilenode sequence var seq28 = new GraceSequence([var_a, var_b, var_c, var_d, var_e]); // call case 4: other requests // call case 4: other requests var call29 = request(var_collections, "list", [0, 1], var_T); var call27 = request(call29, "withAll(1)", [1], seq28); return call27; }; // end of method list(_,_,_,_,_) this.methods["list(5)"] = func26; func26.methodName = "list(5)"; func26.paramCounts = [5]; func26.paramNames = ["a", "b", "c", "d", "e"]; func26.typeParamNames = ["T"]; func26.definitionLine = 31; func26.definitionModule = "beginningStudent"; var func30 = function(argcv, var_a, var_b, var_c, var_d, var_e, var_f, var_T) { // method list(_,_,_,_,_,_), line 34 var returnTarget = invocationCount; invocationCount++; if (! var_T) var_T = type_Unknown; const numArgs = arguments.length - 1; if ((numArgs > 6) && (numArgs !== 7)) { raiseTypeArgError("list(_,_,_,_,_,_)", 1, numArgs - 6); } setLineNumber(35); // compilenode sequence var seq32 = new GraceSequence([var_a, var_b, var_c, var_d, var_e, var_f]); // call case 4: other requests // call case 4: other requests var call33 = request(var_collections, "list", [0, 1], var_T); var call31 = request(call33, "withAll(1)", [1], seq32); return call31; }; // end of method list(_,_,_,_,_,_) this.methods["list(6)"] = func30; func30.methodName = "list(6)"; func30.paramCounts = [6]; func30.paramNames = ["a", "b", "c", "d", "e", "f"]; func30.typeParamNames = ["T"]; func30.definitionLine = 34; func30.definitionModule = "beginningStudent"; var func34 = function(argcv, var_a, var_b, var_c, var_d, var_e, var_f, var_g, var_T) { // method list(_,_,_,_,_,_,_), line 37 var returnTarget = invocationCount; invocationCount++; if (! var_T) var_T = type_Unknown; const numArgs = arguments.length - 1; if ((numArgs > 7) && (numArgs !== 8)) { raiseTypeArgError("list(_,_,_,_,_,_,_)", 1, numArgs - 7); } setLineNumber(38); // compilenode sequence var seq36 = new GraceSequence([var_a, var_b, var_c, var_d, var_e, var_f, var_g]); // call case 4: other requests // call case 4: other requests var call37 = request(var_collections, "list", [0, 1], var_T); var call35 = request(call37, "withAll(1)", [1], seq36); return call35; }; // end of method list(_,_,_,_,_,_,_) this.methods["list(7)"] = func34; func34.methodName = "list(7)"; func34.paramCounts = [7]; func34.paramNames = ["a", "b", "c", "d", "e", "f", "g"]; func34.typeParamNames = ["T"]; func34.definitionLine = 37; func34.definitionModule = "beginningStudent"; var func38 = function(argcv, var_a, var_b, var_c, var_d, var_e, var_f, var_g, var_h, var_T) { // method list(_,_,_,_,_,_,_,_), line 40 var returnTarget = invocationCount; invocationCount++; if (! var_T) var_T = type_Unknown; const numArgs = arguments.length - 1; if ((numArgs > 8) && (numArgs !== 9)) { raiseTypeArgError("list(_,_,_,_,_,_,_,_)", 1, numArgs - 8); } setLineNumber(41); // compilenode sequence var seq40 = new GraceSequence([var_a, var_b, var_c, var_d, var_e, var_f, var_g, var_h]); // call case 4: other requests // call case 4: other requests var call41 = request(var_collections, "list", [0, 1], var_T); var call39 = request(call41, "withAll(1)", [1], seq40); return call39; }; // end of method list(_,_,_,_,_,_,_,_) this.methods["list(8)"] = func38; func38.methodName = "list(8)"; func38.paramCounts = [8]; func38.paramNames = ["a", "b", "c", "d", "e", "f", "g", "h"]; func38.typeParamNames = ["T"]; func38.definitionLine = 40; func38.definitionModule = "beginningStudent"; var func42 = function(argcv, var_a, var_b, var_c, var_d, var_e, var_f, var_g, var_h, var_i, var_T) { // method list(_,_,_,_,_,_,_,_,_), line 43 var returnTarget = invocationCount; invocationCount++; if (! var_T) var_T = type_Unknown; const numArgs = arguments.length - 1; if ((numArgs > 9) && (numArgs !== 10)) { raiseTypeArgError("list(_,_,_,_,_,_,_,_,_)", 1, numArgs - 9); } setLineNumber(44); // compilenode sequence var seq44 = new GraceSequence([var_a, var_b, var_c, var_d, var_e, var_f, var_g, var_h, var_i]); // call case 4: other requests // call case 4: other requests var call45 = request(var_collections, "list", [0, 1], var_T); var call43 = request(call45, "withAll(1)", [1], seq44); return call43; }; // end of method list(_,_,_,_,_,_,_,_,_) this.methods["list(9)"] = func42; func42.methodName = "list(9)"; func42.paramCounts = [9]; func42.paramNames = ["a", "b", "c", "d", "e", "f", "g", "h", "i"]; func42.typeParamNames = ["T"]; func42.definitionLine = 43; func42.definitionModule = "beginningStudent"; var func46 = function(argcv, var_a, var_b, var_c, var_d, var_e, var_f, var_g, var_h, var_i, var_j, var_T) { // method list(_,_,_,_,_,_,_,_,_,_), line 46 var returnTarget = invocationCount; invocationCount++; if (! var_T) var_T = type_Unknown; const numArgs = arguments.length - 1; if ((numArgs > 10) && (numArgs !== 11)) { raiseTypeArgError("list(_,_,_,_,_,_,_,_,_,_)", 1, numArgs - 10); } setLineNumber(47); // compilenode sequence var seq48 = new GraceSequence([var_a, var_b, var_c, var_d, var_e, var_f, var_g, var_h, var_i, var_j]); // call case 4: other requests // call case 4: other requests var call49 = request(var_collections, "list", [0, 1], var_T); var call47 = request(call49, "withAll(1)", [1], seq48); return call47; }; // end of method list(_,_,_,_,_,_,_,_,_,_) this.methods["list(10)"] = func46; func46.methodName = "list(10)"; func46.paramCounts = [10]; func46.paramNames = ["a", "b", "c", "d", "e", "f", "g", "h", "i", "j"]; func46.typeParamNames = ["T"]; func46.definitionLine = 46; func46.definitionModule = "beginningStudent"; var func50 = function(argcv, var_a, var_T) { // method sequence(_), line 50 var returnTarget = invocationCount; invocationCount++; if (! var_T) var_T = type_Unknown; const numArgs = arguments.length - 1; if ((numArgs > 1) && (numArgs !== 2)) { raiseTypeArgError("sequence(_)", 1, numArgs - 1); } setLineNumber(51); // compilenode sequence var seq52 = new GraceSequence([var_a]); // call case 4: other requests // call case 4: other requests var call53 = request(var_collections, "sequence", [0, 1], var_T); var call51 = request(call53, "withAll(1)", [1], seq52); return call51; }; // end of method sequence(_) this.methods["sequence(1)"] = func50; func50.methodName = "sequence(1)"; func50.paramCounts = [1]; func50.paramNames = ["a"]; func50.typeParamNames = ["T"]; func50.definitionLine = 50; func50.definitionModule = "beginningStudent"; var func54 = function(argcv, var_a, var_b, var_T) { // method sequence(_,_), line 53 var returnTarget = invocationCount; invocationCount++; if (! var_T) var_T = type_Unknown; const numArgs = arguments.length - 1; if ((numArgs > 2) && (numArgs !== 3)) { raiseTypeArgError("sequence(_,_)", 1, numArgs - 2); } setLineNumber(54); // compilenode sequence var seq56 = new GraceSequence([var_a, var_b]); // call case 4: other requests // call case 4: other requests var call57 = request(var_collections, "sequence", [0, 1], var_T); var call55 = request(call57, "withAll(1)", [1], seq56); return call55; }; // end of method sequence(_,_) this.methods["sequence(2)"] = func54; func54.methodName = "sequence(2)"; func54.paramCounts = [2]; func54.paramNames = ["a", "b"]; func54.typeParamNames = ["T"]; func54.definitionLine = 53; func54.definitionModule = "beginningStudent"; var func58 = function(argcv, var_a, var_b, var_c, var