public override object VisitExpressionStatement(ExpressionStatement expressionStatement, object data)
{
UnaryOperatorExpression uoe = expressionStatement.Expression as UnaryOperatorExpression;
if (uoe != null) {
switch (uoe.Op) {
case UnaryOperatorType.Increment:
case UnaryOperatorType.PostIncrement:
expressionStatement.Expression = new AssignmentExpression(uoe.Expression, AssignmentOperatorType.Add, new PrimitiveExpression(1, "1"));
break;
case UnaryOperatorType.Decrement:
case UnaryOperatorType.PostDecrement:
expressionStatement.Expression = new AssignmentExpression(uoe.Expression, AssignmentOperatorType.Subtract, new PrimitiveExpression(1, "1"));
break;
}
}
return base.VisitExpressionStatement(expressionStatement, data);
}
public virtual object VisitExpressionStatement(ExpressionStatement expressionStatement, object data) {
Debug.Assert((expressionStatement != null));
Debug.Assert((expressionStatement.Expression != null));
return expressionStatement.Expression.AcceptVisitor(this, data);
}
void ResourceAcquisition(
#line 1779 "Frames/cs.ATG"
out Statement stmt) {
#line 1781 "Frames/cs.ATG"
stmt = null;
Expression expr;
if (
#line 1786 "Frames/cs.ATG"
IsLocalVarDecl()) {
LocalVariableDecl(
#line 1786 "Frames/cs.ATG"
out stmt);
#line 1786 "Frames/cs.ATG"
((LocalVariableDeclaration)stmt).SemicolonPosition = t.EndLocation;
} else if (StartOf(6)) {
Expr(
#line 1787 "Frames/cs.ATG"
out expr);
#line 1791 "Frames/cs.ATG"
stmt = new ExpressionStatement(expr);
} else SynErr(203);
}
void StatementExpr(
#line 1795 "Frames/cs.ATG"
out Statement stmt) {
#line 1796 "Frames/cs.ATG"
Expression expr;
Expr(
#line 1798 "Frames/cs.ATG"
out expr);
#line 1801 "Frames/cs.ATG"
stmt = new ExpressionStatement(expr); if (expr is PrimitiveExpression) Error("Primitive expressions are not allowed as statements.");
}
public sealed override object VisitExpressionStatement(ExpressionStatement expressionStatement, object data) {
this.BeginVisit(expressionStatement);
object result = this.TrackedVisitExpressionStatement(expressionStatement, data);
this.EndVisit(expressionStatement);
return result;
}
public virtual object TrackedVisitExpressionStatement(ExpressionStatement expressionStatement, object data) {
return base.VisitExpressionStatement(expressionStatement, data);
}
public override object VisitExpressionStatement(ExpressionStatement expressionStatement, object data)
{
base.VisitExpressionStatement(expressionStatement, data);
AssignmentExpression ass = expressionStatement.Expression as AssignmentExpression;
if (ass != null && ass.Right is AddressOfExpression) {
if (ass.Op == AssignmentOperatorType.Add) {
ReplaceCurrentNode(new AddHandlerStatement(ass.Left, ass.Right));
} else if (ass.Op == AssignmentOperatorType.Subtract) {
ReplaceCurrentNode(new RemoveHandlerStatement(ass.Left, ass.Right));
}
}
return null;
}
public void VisitStatement (ExpressionStatement statement, MethodProperties meth)
{
//TODO Ability to evaluate access count of external fields
// Currently we assume that MemberReferenceExpression is not called and that we directly go on to IdentifierExpression
VisitExpression(statement.Expression, meth);
}
void EmbeddedStatement(
#line 2755 "VBNET.ATG"
out Statement statement) {
#line 2757 "VBNET.ATG"
Statement embeddedStatement = null;
statement = null;
Expression expr = null;
string name = String.Empty;
List<Expression> p = null;
if (la.kind == 107) {
lexer.NextToken();
#line 2763 "VBNET.ATG"
ExitType exitType = ExitType.None;
switch (la.kind) {
case 195: {
lexer.NextToken();
#line 2765 "VBNET.ATG"
exitType = ExitType.Sub;
break;
}
case 114: {
lexer.NextToken();
#line 2767 "VBNET.ATG"
exitType = ExitType.Function;
break;
}
case 171: {
lexer.NextToken();
#line 2769 "VBNET.ATG"
exitType = ExitType.Property;
break;
}
case 95: {
lexer.NextToken();
#line 2771 "VBNET.ATG"
exitType = ExitType.Do;
break;
}
case 111: {
lexer.NextToken();
#line 2773 "VBNET.ATG"
exitType = ExitType.For;
break;
}
case 203: {
lexer.NextToken();
#line 2775 "VBNET.ATG"
exitType = ExitType.Try;
break;
}
case 216: {
lexer.NextToken();
#line 2777 "VBNET.ATG"
exitType = ExitType.While;
break;
}
case 182: {
lexer.NextToken();
#line 2779 "VBNET.ATG"
exitType = ExitType.Select;
break;
}
default: SynErr(273); break;
}
#line 2781 "VBNET.ATG"
statement = new ExitStatement(exitType);
} else if (la.kind == 203) {
TryStatement(
#line 2782 "VBNET.ATG"
out statement);
} else if (la.kind == 76) {
lexer.NextToken();
#line 2783 "VBNET.ATG"
ContinueType continueType = ContinueType.None;
if (la.kind == 95 || la.kind == 111 || la.kind == 216) {
if (la.kind == 95) {
lexer.NextToken();
#line 2783 "VBNET.ATG"
continueType = ContinueType.Do;
} else if (la.kind == 111) {
lexer.NextToken();
#line 2783 "VBNET.ATG"
continueType = ContinueType.For;
} else {
lexer.NextToken();
#line 2783 "VBNET.ATG"
continueType = ContinueType.While;
}
}
#line 2783 "VBNET.ATG"
statement = new ContinueStatement(continueType);
} else if (la.kind == 200) {
lexer.NextToken();
if (StartOf(29)) {
Expr(
#line 2785 "VBNET.ATG"
out expr);
}
#line 2785 "VBNET.ATG"
statement = new ThrowStatement(expr);
} else if (la.kind == 180) {
lexer.NextToken();
if (StartOf(29)) {
Expr(
#line 2787 "VBNET.ATG"
out expr);
}
#line 2787 "VBNET.ATG"
statement = new ReturnStatement(expr);
} else if (la.kind == 196) {
lexer.NextToken();
Expr(
#line 2789 "VBNET.ATG"
out expr);
EndOfStmt();
Block(
#line 2789 "VBNET.ATG"
out embeddedStatement);
Expect(100);
Expect(196);
#line 2790 "VBNET.ATG"
statement = new LockStatement(expr, embeddedStatement);
} else if (la.kind == 174) {
lexer.NextToken();
Identifier();
#line 2792 "VBNET.ATG"
name = t.val;
if (la.kind == 25) {
lexer.NextToken();
if (StartOf(37)) {
ArgumentList(
#line 2793 "VBNET.ATG"
out p);
}
Expect(26);
}
#line 2795 "VBNET.ATG"
statement = new RaiseEventStatement(name, p);
} else if (la.kind == 218) {
WithStatement(
#line 2798 "VBNET.ATG"
out statement);
} else if (la.kind == 43) {
lexer.NextToken();
#line 2800 "VBNET.ATG"
Expression handlerExpr = null;
Expr(
#line 2801 "VBNET.ATG"
out expr);
Expect(12);
Expr(
#line 2801 "VBNET.ATG"
out handlerExpr);
#line 2803 "VBNET.ATG"
statement = new AddHandlerStatement(expr, handlerExpr);
} else if (la.kind == 178) {
lexer.NextToken();
#line 2806 "VBNET.ATG"
Expression handlerExpr = null;
Expr(
#line 2807 "VBNET.ATG"
out expr);
Expect(12);
Expr(
#line 2807 "VBNET.ATG"
out handlerExpr);
#line 2809 "VBNET.ATG"
statement = new RemoveHandlerStatement(expr, handlerExpr);
} else if (la.kind == 216) {
lexer.NextToken();
Expr(
#line 2812 "VBNET.ATG"
out expr);
EndOfStmt();
Block(
#line 2813 "VBNET.ATG"
out embeddedStatement);
Expect(100);
Expect(216);
#line 2815 "VBNET.ATG"
statement = new DoLoopStatement(expr, embeddedStatement, ConditionType.While, ConditionPosition.Start);
} else if (la.kind == 95) {
lexer.NextToken();
#line 2820 "VBNET.ATG"
ConditionType conditionType = ConditionType.None;
if (la.kind == 209 || la.kind == 216) {
WhileOrUntil(
#line 2823 "VBNET.ATG"
out conditionType);
Expr(
#line 2823 "VBNET.ATG"
out expr);
EndOfStmt();
Block(
#line 2824 "VBNET.ATG"
out embeddedStatement);
Expect(138);
#line 2827 "VBNET.ATG"
statement = new DoLoopStatement(expr,
embeddedStatement,
conditionType == ConditionType.While ? ConditionType.DoWhile : conditionType,
ConditionPosition.Start);
} else if (la.kind == 1 || la.kind == 11) {
EndOfStmt();
Block(
#line 2834 "VBNET.ATG"
out embeddedStatement);
Expect(138);
if (la.kind == 209 || la.kind == 216) {
WhileOrUntil(
#line 2835 "VBNET.ATG"
out conditionType);
Expr(
#line 2835 "VBNET.ATG"
out expr);
}
#line 2837 "VBNET.ATG"
statement = new DoLoopStatement(expr, embeddedStatement, conditionType, ConditionPosition.End);
} else SynErr(274);
} else if (la.kind == 111) {
lexer.NextToken();
#line 2842 "VBNET.ATG"
Expression group = null;
TypeReference typeReference;
string typeName;
Location startLocation = t.Location;
if (la.kind == 97) {
lexer.NextToken();
LoopControlVariable(
#line 2849 "VBNET.ATG"
out typeReference, out typeName);
Expect(125);
Expr(
#line 2850 "VBNET.ATG"
out group);
EndOfStmt();
Block(
#line 2851 "VBNET.ATG"
out embeddedStatement);
Expect(149);
if (StartOf(29)) {
Expr(
#line 2852 "VBNET.ATG"
out expr);
}
#line 2854 "VBNET.ATG"
statement = new ForeachStatement(typeReference,
typeName,
group,
embeddedStatement,
expr);
statement.StartLocation = startLocation;
statement.EndLocation = t.EndLocation;
} else if (StartOf(38)) {
#line 2865 "VBNET.ATG"
Expression start = null;
Expression end = null;
Expression step = null;
Expression variableExpr = null;
Expression nextExpr = null;
List<Expression> nextExpressions = null;
if (
#line 2872 "VBNET.ATG"
IsLoopVariableDeclaration()) {
LoopControlVariable(
#line 2873 "VBNET.ATG"
out typeReference, out typeName);
} else {
#line 2875 "VBNET.ATG"
typeReference = null; typeName = null;
SimpleExpr(
#line 2876 "VBNET.ATG"
out variableExpr);
}
Expect(10);
Expr(
#line 2878 "VBNET.ATG"
out start);
Expect(201);
Expr(
#line 2878 "VBNET.ATG"
out end);
if (la.kind == 190) {
lexer.NextToken();
Expr(
#line 2878 "VBNET.ATG"
out step);
}
EndOfStmt();
Block(
#line 2879 "VBNET.ATG"
out embeddedStatement);
Expect(149);
if (StartOf(29)) {
Expr(
#line 2882 "VBNET.ATG"
out nextExpr);
#line 2884 "VBNET.ATG"
nextExpressions = new List<Expression>();
nextExpressions.Add(nextExpr);
while (la.kind == 12) {
lexer.NextToken();
Expr(
#line 2887 "VBNET.ATG"
out nextExpr);
#line 2887 "VBNET.ATG"
nextExpressions.Add(nextExpr);
}
}
#line 2890 "VBNET.ATG"
statement = new ForNextStatement {
TypeReference = typeReference,
VariableName = typeName,
LoopVariableExpression = variableExpr,
Start = start,
End = end,
Step = step,
EmbeddedStatement = embeddedStatement,
NextExpressions = nextExpressions
};
} else SynErr(275);
} else if (la.kind == 105) {
lexer.NextToken();
Expr(
#line 2903 "VBNET.ATG"
out expr);
#line 2903 "VBNET.ATG"
statement = new ErrorStatement(expr);
} else if (la.kind == 176) {
lexer.NextToken();
#line 2905 "VBNET.ATG"
bool isPreserve = false;
if (la.kind == 169) {
lexer.NextToken();
#line 2905 "VBNET.ATG"
isPreserve = true;
}
ReDimClause(
#line 2906 "VBNET.ATG"
out expr);
#line 2908 "VBNET.ATG"
ReDimStatement reDimStatement = new ReDimStatement(isPreserve);
statement = reDimStatement;
SafeAdd(reDimStatement, reDimStatement.ReDimClauses, expr as InvocationExpression);
while (la.kind == 12) {
lexer.NextToken();
ReDimClause(
#line 2912 "VBNET.ATG"
out expr);
#line 2913 "VBNET.ATG"
SafeAdd(reDimStatement, reDimStatement.ReDimClauses, expr as InvocationExpression);
}
} else if (la.kind == 104) {
lexer.NextToken();
Expr(
#line 2917 "VBNET.ATG"
out expr);
#line 2919 "VBNET.ATG"
EraseStatement eraseStatement = new EraseStatement();
if (expr != null) { SafeAdd(eraseStatement, eraseStatement.Expressions, expr);}
while (la.kind == 12) {
lexer.NextToken();
Expr(
#line 2922 "VBNET.ATG"
out expr);
#line 2922 "VBNET.ATG"
if (expr != null) { SafeAdd(eraseStatement, eraseStatement.Expressions, expr); }
}
#line 2923 "VBNET.ATG"
statement = eraseStatement;
} else if (la.kind == 191) {
lexer.NextToken();
#line 2925 "VBNET.ATG"
statement = new StopStatement();
} else if (
#line 2927 "VBNET.ATG"
la.kind == Tokens.If) {
Expect(122);
#line 2928 "VBNET.ATG"
Location ifStartLocation = t.Location;
Expr(
#line 2928 "VBNET.ATG"
out expr);
if (la.kind == 199) {
lexer.NextToken();
}
if (la.kind == 1 || la.kind == 11) {
EndOfStmt();
Block(
#line 2931 "VBNET.ATG"
out embeddedStatement);
#line 2933 "VBNET.ATG"
IfElseStatement ifStatement = new IfElseStatement(expr, embeddedStatement);
ifStatement.StartLocation = ifStartLocation;
Location elseIfStart;
while (la.kind == 99 ||
#line 2939 "VBNET.ATG"
IsElseIf()) {
if (
#line 2939 "VBNET.ATG"
IsElseIf()) {
Expect(98);
#line 2939 "VBNET.ATG"
elseIfStart = t.Location;
Expect(122);
} else {
lexer.NextToken();
#line 2940 "VBNET.ATG"
elseIfStart = t.Location;
}
#line 2942 "VBNET.ATG"
Expression condition = null; Statement block = null;
Expr(
#line 2943 "VBNET.ATG"
out condition);
if (la.kind == 199) {
lexer.NextToken();
}
EndOfStmt();
Block(
#line 2944 "VBNET.ATG"
out block);
#line 2946 "VBNET.ATG"
ElseIfSection elseIfSection = new ElseIfSection(condition, block);
elseIfSection.StartLocation = elseIfStart;
elseIfSection.EndLocation = t.Location;
elseIfSection.Parent = ifStatement;
ifStatement.ElseIfSections.Add(elseIfSection);
}
if (la.kind == 98) {
lexer.NextToken();
EndOfStmt();
Block(
#line 2955 "VBNET.ATG"
out embeddedStatement);
#line 2957 "VBNET.ATG"
ifStatement.FalseStatement.Add(embeddedStatement);
}
Expect(100);
Expect(122);
#line 2961 "VBNET.ATG"
ifStatement.EndLocation = t.Location;
statement = ifStatement;
} else if (StartOf(39)) {
#line 2966 "VBNET.ATG"
IfElseStatement ifStatement = new IfElseStatement(expr);
ifStatement.StartLocation = ifStartLocation;
SingleLineStatementList(
#line 2969 "VBNET.ATG"
ifStatement.TrueStatement);
if (la.kind == 98) {
lexer.NextToken();
if (StartOf(39)) {
SingleLineStatementList(
#line 2972 "VBNET.ATG"
ifStatement.FalseStatement);
}
}
#line 2974 "VBNET.ATG"
ifStatement.EndLocation = t.Location; statement = ifStatement;
} else SynErr(276);
} else if (la.kind == 182) {
lexer.NextToken();
if (la.kind == 61) {
lexer.NextToken();
}
Expr(
#line 2977 "VBNET.ATG"
out expr);
EndOfStmt();
#line 2978 "VBNET.ATG"
List<SwitchSection> selectSections = new List<SwitchSection>();
Statement block = null;
while (la.kind == 61) {
#line 2982 "VBNET.ATG"
List<CaseLabel> caseClauses = null; Location caseLocation = la.Location;
lexer.NextToken();
CaseClauses(
#line 2983 "VBNET.ATG"
out caseClauses);
if (
#line 2983 "VBNET.ATG"
IsNotStatementSeparator()) {
lexer.NextToken();
}
EndOfStmt();
#line 2985 "VBNET.ATG"
SwitchSection selectSection = new SwitchSection(caseClauses);
selectSection.StartLocation = caseLocation;
Block(
#line 2988 "VBNET.ATG"
out block);
#line 2990 "VBNET.ATG"
selectSection.Children = block.Children;
selectSection.EndLocation = t.EndLocation;
selectSections.Add(selectSection);
}
#line 2996 "VBNET.ATG"
statement = new SwitchStatement(expr, selectSections);
Expect(100);
Expect(182);
} else if (la.kind == 157) {
#line 2999 "VBNET.ATG"
OnErrorStatement onErrorStatement = null;
OnErrorStatement(
#line 3000 "VBNET.ATG"
out onErrorStatement);
#line 3000 "VBNET.ATG"
statement = onErrorStatement;
} else if (la.kind == 119) {
#line 3001 "VBNET.ATG"
GotoStatement goToStatement = null;
GotoStatement(
#line 3002 "VBNET.ATG"
out goToStatement);
#line 3002 "VBNET.ATG"
statement = goToStatement;
} else if (la.kind == 179) {
#line 3003 "VBNET.ATG"
ResumeStatement resumeStatement = null;
ResumeStatement(
#line 3004 "VBNET.ATG"
out resumeStatement);
#line 3004 "VBNET.ATG"
statement = resumeStatement;
} else if (StartOf(38)) {
#line 3007 "VBNET.ATG"
Expression val = null;
AssignmentOperatorType op;
bool mustBeAssignment = la.kind == Tokens.Plus || la.kind == Tokens.Minus ||
la.kind == Tokens.Not || la.kind == Tokens.Times;
SimpleExpr(
#line 3013 "VBNET.ATG"
out expr);
if (StartOf(40)) {
AssignmentOperator(
#line 3015 "VBNET.ATG"
out op);
Expr(
#line 3015 "VBNET.ATG"
out val);
#line 3015 "VBNET.ATG"
expr = new AssignmentExpression(expr, op, val);
} else if (la.kind == 1 || la.kind == 11 || la.kind == 98) {
#line 3016 "VBNET.ATG"
if (mustBeAssignment) Error("error in assignment.");
} else SynErr(277);
#line 3019 "VBNET.ATG"
// a field reference expression that stands alone is a
// invocation expression without parantheses and arguments
if(expr is MemberReferenceExpression || expr is IdentifierExpression) {
expr = new InvocationExpression(expr);
}
statement = new ExpressionStatement(expr);
} else if (la.kind == 60) {
lexer.NextToken();
SimpleExpr(
#line 3026 "VBNET.ATG"
out expr);
#line 3026 "VBNET.ATG"
statement = new ExpressionStatement(expr);
} else if (la.kind == 211) {
lexer.NextToken();
#line 3028 "VBNET.ATG"
Statement block;
if (
#line 3029 "VBNET.ATG"
Peek(1).kind == Tokens.As) {
#line 3030 "VBNET.ATG"
LocalVariableDeclaration resourceAquisition = new LocalVariableDeclaration(Modifiers.None);
VariableDeclarator(
#line 3031 "VBNET.ATG"
resourceAquisition.Variables);
while (la.kind == 12) {
lexer.NextToken();
VariableDeclarator(
#line 3033 "VBNET.ATG"
resourceAquisition.Variables);
}
Block(
#line 3035 "VBNET.ATG"
out block);
#line 3037 "VBNET.ATG"
statement = new UsingStatement(resourceAquisition, block);
} else if (StartOf(29)) {
Expr(
#line 3039 "VBNET.ATG"
out expr);
Block(
#line 3040 "VBNET.ATG"
out block);
#line 3041 "VBNET.ATG"
statement = new UsingStatement(new ExpressionStatement(expr), block);
} else SynErr(278);
Expect(100);
Expect(211);
} else if (StartOf(41)) {
LocalDeclarationStatement(
#line 3044 "VBNET.ATG"
out statement);
} else SynErr(279);
}
public virtual object VisitExpressionStatement(ExpressionStatement expressionStatement, object data) {
Debug.Assert((expressionStatement != null));
Debug.Assert((expressionStatement.Expression != null));
nodeStack.Push(expressionStatement.Expression);
expressionStatement.Expression.AcceptVisitor(this, data);
expressionStatement.Expression = ((Expression)(nodeStack.Pop()));
return null;
}
public virtual object VisitExpressionStatement(ExpressionStatement expressionStatement, object data) {
throw new global::System.NotImplementedException("ExpressionStatement");
}
public override object VisitExpressionStatement(ExpressionStatement expressionStatement, object data)
{
object exp = expressionStatement.Expression.AcceptVisitor(this, data);
if (exp is CodeExpression) {
AddStmt(new CodeExpressionStatement((CodeExpression)exp));
}
return exp;
}