Esempio n. 1
0
 public AbsBlockStmt(
     AbsSyntaxInfo inInfo,
     IEnumerable <AbsStmt> inStatements)
     : base(inInfo)
 {
     _stmts = inStatements.ToArray();
 }
Esempio n. 2
0
 public AbsExpStmt(
     AbsSyntaxInfo info,
     AbsTerm value)
     : base(info)
 {
     _value = value;
 }
Esempio n. 3
0
 public AbsReturnStmt(
     AbsSyntaxInfo inInfo,
     AbsTerm inExp)
     : base(inInfo)
 {
     _exp = inExp;
 }
Esempio n. 4
0
 public AbsSourceRecord(
     AbsSyntaxInfo inInfo,
     IEnumerable <AbsGlobalDecl> inDecls)
     : base(inInfo)
 {
     _decls = inDecls.ToArray();
 }
Esempio n. 5
0
 public AbsVarRef(
     AbsSyntaxInfo inInfo,
     Identifier inName)
     : base(inInfo)
 {
     _name = inName;
 }
Esempio n. 6
0
 public AbsPositionalArg(
     AbsSyntaxInfo info,
     AbsTerm term)
     : base(info)
 {
     _term = term;
 }
Esempio n. 7
0
 public AbsMemberDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName)
     : base(inInfo)
 {
     _name = inName;
 }
Esempio n. 8
0
 public AbsGenericParamDecl(
     AbsSyntaxInfo info,
     Identifier name)
     : base(info)
 {
     _name = name;
 }
Esempio n. 9
0
 public AbsStructDecl(
     AbsSyntaxInfo info,
     Identifier name,
     IEnumerable <AbsMemberDecl> members)
     : base(info, name)
 {
     _members = members.ToArray();
 }
Esempio n. 10
0
 public AbsAttribute(
     AbsSyntaxInfo info,
     Identifier name,
     IEnumerable <AbsArg> args)
     : base(info)
 {
     _name = name;
     _args = args.ToArray();
 }
Esempio n. 11
0
 public AbsParamDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName,
     AbsTerm inType)
     : base(inInfo)
 {
     _name = inName;
     _type = inType;
 }
Esempio n. 12
0
 public AbsFreqQualTerm(
     AbsSyntaxInfo info,
     AbsTerm frequency,
     AbsTerm type)
     : base(info)
 {
     _freq = frequency;
     _type = type;
 }
Esempio n. 13
0
 public AbsSwitchStmt(
     AbsSyntaxInfo info,
     AbsTerm value,
     IEnumerable <AbsCase> cases)
     : base(info)
 {
     _value = value;
     _cases = cases.ToArray();
 }
Esempio n. 14
0
 public AbsCase(
     AbsSyntaxInfo info,
     AbsTerm value,
     AbsStmt body)
     : base(info)
 {
     _value = value;
     _body  = body;
 }
Esempio n. 15
0
 public AbsMemberRef(
     AbsSyntaxInfo inInfo,
     AbsTerm inBaseObject,
     Identifier inMemberName)
     : base(inInfo)
 {
     _baseObject = inBaseObject;
     _memberName = inMemberName;
 }
Esempio n. 16
0
 public AbsSeqStmt(
     AbsSyntaxInfo info,
     AbsStmt head,
     AbsStmt tail)
     : base(info)
 {
     _head = head;
     _tail = tail;
 }
Esempio n. 17
0
 public AbsElementRef(
     AbsSyntaxInfo inInfo,
     AbsTerm inBaseObject,
     AbsTerm inIndex)
     : base(inInfo)
 {
     _baseObject = inBaseObject;
     _index      = inIndex;
 }
Esempio n. 18
0
 public AbsGenericApp(
     AbsSyntaxInfo inInfo,
     AbsTerm inFunction,
     IEnumerable <AbsArg> inArguments)
     : base(inInfo)
 {
     _function  = inFunction;
     _arguments = inArguments.ToArray();
 }
Esempio n. 19
0
 public AbsAssign(
     AbsSyntaxInfo info,
     AbsTerm left,
     AbsTerm right)
     : base(info)
 {
     _left  = left;
     _right = right;
 }
 public AbsApp(
     AbsSyntaxInfo inInfo,
     AbsTerm inFunction,
     IEnumerable<AbsArg> inArguments)
     : base(inInfo)
 {
     _function = inFunction;
     _arguments = inArguments.ToArray();
 }
Esempio n. 21
0
 public AbsKeywordArg(
     AbsSyntaxInfo info,
     Identifier name,
     AbsTerm term)
     : base(info)
 {
     _name = name;
     _term = term;
 }
Esempio n. 22
0
 public AbsSlotDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName,
     AbsTerm inType,
     AbsTerm inInit)
     : base(inInfo, inName)
 {
     _type = inType;
     _init = inInit;
 }
Esempio n. 23
0
 public AbsGenericValueParamDecl(
     AbsSyntaxInfo info,
     AbsTerm type,
     Identifier name,
     bool isImplicit)
     : base(info, name)
 {
     _type       = type;
     _isImplicit = isImplicit;
 }
Esempio n. 24
0
 public AbsConceptDecl(
     AbsSyntaxInfo info,
     Identifier name,
     IEnumerable <AbsGenericParamDecl> genericParams,
     IEnumerable <AbsMemberDecl> members)
     : base(info, name)
 {
     _genericParams = genericParams == null ? null :
                      genericParams.ToArray();
     _members = members.ToArray();
 }
Esempio n. 25
0
 public AbsIfStmt(
     AbsSyntaxInfo info,
     AbsTerm condition,
     AbsStmt thenStmt,
     AbsStmt elseStmt)
     : base(info)
 {
     _condition = condition;
     _thenStmt  = thenStmt;
     _elseStmt  = elseStmt;
 }
Esempio n. 26
0
 public AbsForStmt(
     AbsSyntaxInfo info,
     Identifier name,
     AbsTerm sequence,
     AbsStmt body)
     : base(info)
 {
     _name     = name;
     _sequence = sequence;
     _body     = body;
 }
Esempio n. 27
0
 public AbsPipelineDecl(
     AbsSyntaxInfo info,
     Identifier name,
     IEnumerable <AbsTerm> bases,
     IEnumerable <AbsMemberDecl> members)
     : base(info)
 {
     _name    = name;
     _bases   = bases.ToArray();
     _members = members.ToArray();
 }
Esempio n. 28
0
 public AbsIfTerm(
     AbsSyntaxInfo info,
     AbsTerm condition,
     AbsTerm thenTerm,
     AbsTerm elseTerm)
     : base(info)
 {
     _condition = condition;
     _thenTerm  = thenTerm;
     _elseTerm  = elseTerm;
 }
Esempio n. 29
0
 public AbsMethodDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName,
     AbsTerm inResultType,
     IEnumerable <AbsParamDecl> inParams,
     AbsStmt inBody)
     : base(inInfo, inName)
 {
     _params     = inParams.ToArray();
     _resultType = inResultType;
     _body       = inBody;
 }
Esempio n. 30
0
 public AbsLetStmt(
     AbsSyntaxInfo info,
     AbsLetFlavor flavor,
     AbsTerm type,
     Identifier name,
     AbsTerm value)
     : base(info)
 {
     _flavor = flavor;
     _type   = type;
     _name   = name;
     _value  = value;
 }
 public AbsVoid(
     AbsSyntaxInfo info)
     : base(info)
 {
 }
 public AbsGenericTypeParamDecl(
     AbsSyntaxInfo info,
     Identifier name)
     : base(info, name)
 {
 }
 public AbsAttribute(
     AbsSyntaxInfo info,
     Identifier name,
     IEnumerable<AbsArg> args)
     : base(info)
 {
     _name = name;
     _args = args.ToArray();
 }
 public AbsVarRef(
     AbsSyntaxInfo inInfo,
     Identifier inName)
     : base(inInfo)
 {
     _name = inName;
 }
 public AbsTerm(
     AbsSyntaxInfo inInfo)
     : base(inInfo)
 {
 }
 public AbsExpStmt(
     AbsSyntaxInfo info,
     AbsTerm value)
     : base(info)
 {
     _value = value;
 }
 public AbsLetStmt(
     AbsSyntaxInfo info,
     AbsLetFlavor flavor,
     AbsTerm type,
     Identifier name,
     AbsTerm value )
     : base(info)
 {
     _flavor = flavor;
     _type = type;
     _name = name;
     _value = value;
 }
 public AbsElementDecl(
     AbsSyntaxInfo info,
     Identifier name)
     : base(info, name)
 {
 }
 public AbsLit(
     AbsSyntaxInfo inInfo)
     : base(inInfo)
 {
 }
 public AbsGlobalDecl(
     AbsSyntaxInfo info)
     : base(info)
 {
 }
 public AbsCase(
     AbsSyntaxInfo info,
     AbsTerm value,
     AbsStmt body )
     : base(info)
 {
     _value = value;
     _body = body;
 }
 public AbsMemberDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName)
     : base(inInfo)
 {
     _name = inName;
 }
 public AbsGenericParamDecl(
     AbsSyntaxInfo info,
     Identifier name)
     : base(info)
 {
     _name = name;
 }
 public AbsElementRef(
     AbsSyntaxInfo inInfo,
     AbsTerm inBaseObject,
     AbsTerm inIndex)
     : base(inInfo)
 {
     _baseObject = inBaseObject;
     _index = inIndex;
 }
 public AbsIfStmt(
     AbsSyntaxInfo info,
     AbsTerm condition,
     AbsStmt thenStmt,
     AbsStmt elseStmt)
     : base(info)
 {
     _condition = condition;
     _thenStmt = thenStmt;
     _elseStmt = elseStmt;
 }
 public AbsTypeSlotDecl(
     AbsSyntaxInfo info,
     Identifier name)
     : base(info, name)
 {
 }
 public AbsFreqQualTerm(
     AbsSyntaxInfo info,
     AbsTerm frequency,
     AbsTerm type)
     : base(info)
 {
     _freq = frequency;
     _type = type;
 }
 public AbsKeywordArg(
     AbsSyntaxInfo info,
     Identifier name,
     AbsTerm term)
     : base(info)
 {
     _name = name;
     _term = term;
 }
 public AbsForStmt(
     AbsSyntaxInfo info,
     Identifier name,
     AbsTerm sequence,
     AbsStmt body )
     : base(info)
 {
     _name = name;
     _sequence = sequence;
     _body = body;
 }
 public AbsMemberRef(
     AbsSyntaxInfo inInfo,
     AbsTerm inBaseObject,
     Identifier inMemberName)
     : base(inInfo)
 {
     _baseObject = inBaseObject;
     _memberName = inMemberName;
 }
 public AbsEmptyStmt(
     AbsSyntaxInfo info)
     : base(info)
 {
 }
 public AbsGenericValueParamDecl(
     AbsSyntaxInfo info,
     AbsTerm type,
     Identifier name,
     bool isImplicit)
     : base(info, name)
 {
     _type = type;
     _isImplicit = isImplicit;
 }
 public AbsBaseExp(
     AbsSyntaxInfo info)
     : base(info)
 {
 }
 public AbsAttribute(
     AbsSyntaxInfo info,
     Identifier name)
     : this(info, name, new AbsArg[] { })
 {
 }
 public AbsBlockStmt(
     AbsSyntaxInfo inInfo,
     IEnumerable<AbsStmt> inStatements)
     : base(inInfo)
 {
     _stmts = inStatements.ToArray();
 }
 public AbsIfTerm(
     AbsSyntaxInfo info,
     AbsTerm condition,
     AbsTerm thenTerm,
     AbsTerm elseTerm)
     : base(info)
 {
     _condition = condition;
     _thenTerm = thenTerm;
     _elseTerm = elseTerm;
 }
 public AbsMethodDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName,
     AbsTerm inResultType,
     IEnumerable<AbsParamDecl> inParams,
     AbsStmt inBody)
     : base(inInfo, inName)
 {
     _params = inParams.ToArray();
     _resultType = inResultType;
     _body = inBody;
 }
 public AbsConceptDecl(
     AbsSyntaxInfo info,
     Identifier name,
     IEnumerable<AbsGenericParamDecl> genericParams,
     IEnumerable<AbsMemberDecl> members )
     : base(info, name)
 {
     _genericParams = genericParams == null ? null :
         genericParams.ToArray();
     _members = members.ToArray();
 }
Esempio n. 59
0
 public AbsBaseExp(
     AbsSyntaxInfo info)
     : base(info)
 {
 }
 public AbsSyntax(
     AbsSyntaxInfo inInfo)
 {
     _info = inInfo;
 }