Inheritance: AbsSyntax
Exemple #1
0
 public AbsReturnStmt(
     AbsSyntaxInfo inInfo,
     AbsTerm inExp)
     : base(inInfo)
 {
     _exp = inExp;
 }
Exemple #2
0
 public AbsPositionalArg(
     AbsSyntaxInfo info,
     AbsTerm term)
     : base(info)
 {
     _term = term;
 }
Exemple #3
0
 public AbsExpStmt(
     AbsSyntaxInfo info,
     AbsTerm value)
     : base(info)
 {
     _value = value;
 }
Exemple #4
0
 public AbsCase(
     AbsSyntaxInfo info,
     AbsTerm value,
     AbsStmt body)
     : base(info)
 {
     _value = value;
     _body  = body;
 }
Exemple #5
0
 public AbsSwitchStmt(
     AbsSyntaxInfo info,
     AbsTerm value,
     IEnumerable <AbsCase> cases)
     : base(info)
 {
     _value = value;
     _cases = cases.ToArray();
 }
Exemple #6
0
 public AbsMemberRef(
     AbsSyntaxInfo inInfo,
     AbsTerm inBaseObject,
     Identifier inMemberName)
     : base(inInfo)
 {
     _baseObject = inBaseObject;
     _memberName = inMemberName;
 }
Exemple #7
0
 public AbsElementRef(
     AbsSyntaxInfo inInfo,
     AbsTerm inBaseObject,
     AbsTerm inIndex)
     : base(inInfo)
 {
     _baseObject = inBaseObject;
     _index      = inIndex;
 }
Exemple #8
0
 public AbsGenericApp(
     AbsSyntaxInfo inInfo,
     AbsTerm inFunction,
     IEnumerable <AbsArg> inArguments)
     : base(inInfo)
 {
     _function  = inFunction;
     _arguments = inArguments.ToArray();
 }
Exemple #9
0
 public AbsAssign(
     AbsSyntaxInfo info,
     AbsTerm left,
     AbsTerm right)
     : base(info)
 {
     _left  = left;
     _right = right;
 }
Exemple #10
0
 public AbsKeywordArg(
     AbsSyntaxInfo info,
     Identifier name,
     AbsTerm term)
     : base(info)
 {
     _name = name;
     _term = term;
 }
Exemple #11
0
 public AbsParamDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName,
     AbsTerm inType)
     : base(inInfo)
 {
     _name = inName;
     _type = inType;
 }
Exemple #12
0
 public AbsFreqQualTerm(
     AbsSyntaxInfo info,
     AbsTerm frequency,
     AbsTerm type)
     : base(info)
 {
     _freq = frequency;
     _type = type;
 }
Exemple #13
0
 public AbsGenericValueParamDecl(
     AbsSyntaxInfo info,
     AbsTerm type,
     Identifier name,
     bool isImplicit)
     : base(info, name)
 {
     _type       = type;
     _isImplicit = isImplicit;
 }
Exemple #14
0
 public AbsSlotDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName,
     AbsTerm inType,
     AbsTerm inInit)
     : base(inInfo, inName)
 {
     _type = inType;
     _init = inInit;
 }
Exemple #15
0
 public AbsIfTerm(
     AbsSyntaxInfo info,
     AbsTerm condition,
     AbsTerm thenTerm,
     AbsTerm elseTerm)
     : base(info)
 {
     _condition = condition;
     _thenTerm  = thenTerm;
     _elseTerm  = elseTerm;
 }
Exemple #16
0
 public AbsIfStmt(
     AbsSyntaxInfo info,
     AbsTerm condition,
     AbsStmt thenStmt,
     AbsStmt elseStmt)
     : base(info)
 {
     _condition = condition;
     _thenStmt  = thenStmt;
     _elseStmt  = elseStmt;
 }
Exemple #17
0
 public AbsForStmt(
     AbsSyntaxInfo info,
     Identifier name,
     AbsTerm sequence,
     AbsStmt body)
     : base(info)
 {
     _name     = name;
     _sequence = sequence;
     _body     = body;
 }
Exemple #18
0
 public AbsMethodDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName,
     AbsTerm inResultType,
     IEnumerable <AbsParamDecl> inParams,
     AbsStmt inBody)
     : base(inInfo, inName)
 {
     _params     = inParams.ToArray();
     _resultType = inResultType;
     _body       = inBody;
 }
Exemple #19
0
 public AbsLetStmt(
     AbsSyntaxInfo info,
     AbsLetFlavor flavor,
     AbsTerm type,
     Identifier name,
     AbsTerm value)
     : base(info)
 {
     _flavor = flavor;
     _type   = type;
     _name   = name;
     _value  = value;
 }
 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 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 AbsApp(
     AbsSyntaxInfo inInfo,
     AbsTerm inFunction,
     IEnumerable<AbsArg> inArguments)
     : base(inInfo)
 {
     _function = inFunction;
     _arguments = inArguments.ToArray();
 }
 public AbsReturnStmt(
     AbsSyntaxInfo inInfo,
     AbsTerm inExp)
     : base(inInfo)
 {
     _exp = inExp;
 }
 public AbsSwitchStmt(
     AbsSyntaxInfo info,
     AbsTerm value,
     IEnumerable<AbsCase> cases)
     : base(info)
 {
     _value = value;
     _cases = cases.ToArray();
 }
 public AbsElementRef(
     AbsSyntaxInfo inInfo,
     AbsTerm inBaseObject,
     AbsTerm inIndex)
     : base(inInfo)
 {
     _baseObject = inBaseObject;
     _index = inIndex;
 }
 public AbsMemberRef(
     AbsSyntaxInfo inInfo,
     AbsTerm inBaseObject,
     Identifier inMemberName)
     : base(inInfo)
 {
     _baseObject = inBaseObject;
     _memberName = inMemberName;
 }
 public AbsPositionalArg(
     AbsSyntaxInfo info,
     AbsTerm term)
     : base(info)
 {
     _term = term;
 }
 public AbsMethodDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName,
     AbsTerm inResultType,
     IEnumerable<AbsParamDecl> inParams,
     AbsStmt inBody)
     : base(inInfo, inName)
 {
     _params = inParams.ToArray();
     _resultType = inResultType;
     _body = inBody;
 }
 public AbsCase(
     AbsSyntaxInfo info,
     AbsTerm value,
     AbsStmt body )
     : base(info)
 {
     _value = value;
     _body = body;
 }
 public AbsIfStmt(
     AbsSyntaxInfo info,
     AbsTerm condition,
     AbsStmt thenStmt,
     AbsStmt elseStmt)
     : base(info)
 {
     _condition = condition;
     _thenStmt = thenStmt;
     _elseStmt = elseStmt;
 }
 public AbsAssign(
     AbsSyntaxInfo info,
     AbsTerm left,
     AbsTerm right)
     : base(info)
 {
     _left = left;
     _right = right;
 }
 public AbsGenericValueParamDecl(
     AbsSyntaxInfo info,
     AbsTerm type,
     Identifier name,
     bool isImplicit)
     : base(info, name)
 {
     _type = type;
     _isImplicit = isImplicit;
 }
 public AbsSlotDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName,
     AbsTerm inType,
     AbsTerm inInit)
     : base(inInfo, inName)
 {
     _type = inType;
     _init = inInit;
 }
 public AbsFreqQualTerm(
     AbsSyntaxInfo info,
     AbsTerm frequency,
     AbsTerm type)
     : base(info)
 {
     _freq = frequency;
     _type = type;
 }
 public AbsParamDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName,
     AbsTerm inType)
     : base(inInfo)
 {
     _name = inName;
     _type = inType;
 }
 public AbsIfTerm(
     AbsSyntaxInfo info,
     AbsTerm condition,
     AbsTerm thenTerm,
     AbsTerm elseTerm)
     : base(info)
 {
     _condition = condition;
     _thenTerm = thenTerm;
     _elseTerm = elseTerm;
 }