Inheritance: AbsSyntax
Example #1
0
 public AbsSeqStmt(
     AbsSyntaxInfo info,
     AbsStmt head,
     AbsStmt tail)
     : base(info)
 {
     _head = head;
     _tail = tail;
 }
Example #2
0
 public AbsCase(
     AbsSyntaxInfo info,
     AbsTerm value,
     AbsStmt body)
     : base(info)
 {
     _value = value;
     _body  = body;
 }
Example #3
0
 public AbsForStmt(
     AbsSyntaxInfo info,
     Identifier name,
     AbsTerm sequence,
     AbsStmt body)
     : base(info)
 {
     _name     = name;
     _sequence = sequence;
     _body     = body;
 }
Example #4
0
 public AbsIfStmt(
     AbsSyntaxInfo info,
     AbsTerm condition,
     AbsStmt thenStmt,
     AbsStmt elseStmt)
     : base(info)
 {
     _condition = condition;
     _thenStmt  = thenStmt;
     _elseStmt  = elseStmt;
 }
Example #5
0
 public AbsMethodDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName,
     AbsTerm inResultType,
     IEnumerable <AbsParamDecl> inParams,
     AbsStmt inBody)
     : base(inInfo, inName)
 {
     _params     = inParams.ToArray();
     _resultType = inResultType;
     _body       = inBody;
 }
 public AbsMethodDecl(
     AbsSyntaxInfo inInfo,
     Identifier inName,
     AbsTerm inResultType,
     IEnumerable<AbsParamDecl> inParams,
     AbsStmt inBody)
     : base(inInfo, inName)
 {
     _params = inParams.ToArray();
     _resultType = inResultType;
     _body = inBody;
 }
 public AbsIfStmt(
     AbsSyntaxInfo info,
     AbsTerm condition,
     AbsStmt thenStmt,
     AbsStmt elseStmt)
     : base(info)
 {
     _condition = condition;
     _thenStmt = thenStmt;
     _elseStmt = elseStmt;
 }
 public AbsForStmt(
     AbsSyntaxInfo info,
     Identifier name,
     AbsTerm sequence,
     AbsStmt body )
     : base(info)
 {
     _name = name;
     _sequence = sequence;
     _body = body;
 }
 public AbsCase(
     AbsSyntaxInfo info,
     AbsTerm value,
     AbsStmt body )
     : base(info)
 {
     _value = value;
     _body = body;
 }
 public AbsSeqStmt(
     AbsSyntaxInfo info,
     AbsStmt head,
     AbsStmt tail)
     : base(info)
 {
     _head = head;
     _tail = tail;
 }