public Delegate (NamespaceEntry ns, DeclSpace parent, FullNamedExpression type,
int mod_flags, MemberName name, Parameters param_list,
Attributes attrs)
: base (ns, parent, name, attrs)
{
this.ReturnType = type;
ModFlags = Modifiers.Check (AllowedModifiers, mod_flags,
IsTopLevel ? Modifiers.INTERNAL :
Modifiers.PRIVATE, name.Location);
Parameters = param_list;
}
protected virtual AnonymousMethodBody CompatibleMethodFactory (Type return_type, Type delegate_type, Parameters p, ToplevelBlock b)
{
return new AnonymousMethodBody (p, b, return_type, delegate_type, loc);
}
protected override AnonymousMethodBody CompatibleMethodFactory (Type returnType, Type delegateType, Parameters p, ToplevelBlock b)
{
return new LambdaMethod (p, b, returnType, delegateType, loc);
}
/** the generated parser.
Maintains a state and a value stack, currently with fixed maximum size.
@param yyLex scanner.
@return result of the last reduction, if any.
@throws yyException on irrecoverable parse error.
*/
internal Object yyparse (yyParser.yyInput yyLex)
{
if (yyMax <= 0) yyMax = 256; // initial size
int yyState = 0; // state stack ptr
int [] yyStates = new int[yyMax]; // state stack
Object yyVal = null; // value stack ptr
Object [] yyVals = new Object[yyMax]; // value stack
int yyToken = -1; // current input
int yyErrorFlag = 0; // #tks to shift
/*yyLoop:*/ for (int yyTop = 0;; ++ yyTop) {
if (yyTop >= yyStates.Length) { // dynamically increase
int[] i = new int[yyStates.Length+yyMax];
yyStates.CopyTo (i, 0);
yyStates = i;
Object[] o = new Object[yyVals.Length+yyMax];
yyVals.CopyTo (o, 0);
yyVals = o;
}
yyStates[yyTop] = yyState;
yyVals[yyTop] = yyVal;
//t if (debug != null) debug.push(yyState, yyVal);
/*yyDiscarded:*/ for (;;) { // discarding a token does not change stack
int yyN;
if ((yyN = yyDefRed[yyState]) == 0) { // else [default] reduce (yyN)
if (yyToken < 0) {
yyToken = yyLex.advance() ? yyLex.token() : 0;
//t if (debug != null)
//t debug.lex(yyState, yyToken, yyname(yyToken), yyLex.value());
}
if ((yyN = yySindex[yyState]) != 0 && ((yyN += yyToken) >= 0)
&& (yyN < yyTable.Length) && (yyCheck[yyN] == yyToken)) {
//t if (debug != null)
//t debug.shift(yyState, yyTable[yyN], yyErrorFlag-1);
yyState = yyTable[yyN]; // shift to yyN
yyVal = yyLex.value();
yyToken = -1;
if (yyErrorFlag > 0) -- yyErrorFlag;
goto continue_yyLoop;
}
if ((yyN = yyRindex[yyState]) != 0 && (yyN += yyToken) >= 0
&& yyN < yyTable.Length && yyCheck[yyN] == yyToken)
yyN = yyTable[yyN]; // reduce (yyN)
else
switch (yyErrorFlag) {
case 0:
yyExpectingState = yyState;
// yyerror(String.Format ("syntax error, got token `{0}'", yyname (yyToken)), yyExpecting(yyState));
//t if (debug != null) debug.error("syntax error");
if (yyToken == 0 /*eof*/ || yyToken == eof_token) throw new yyParser.yyUnexpectedEof ();
goto case 1;
case 1: case 2:
yyErrorFlag = 3;
do {
if ((yyN = yySindex[yyStates[yyTop]]) != 0
&& (yyN += Token.yyErrorCode) >= 0 && yyN < yyTable.Length
&& yyCheck[yyN] == Token.yyErrorCode) {
//t if (debug != null)
//t debug.shift(yyStates[yyTop], yyTable[yyN], 3);
yyState = yyTable[yyN];
yyVal = yyLex.value();
goto continue_yyLoop;
}
//t if (debug != null) debug.pop(yyStates[yyTop]);
} while (-- yyTop >= 0);
//t if (debug != null) debug.reject();
throw new yyParser.yyException("irrecoverable syntax error");
case 3:
if (yyToken == 0) {
//t if (debug != null) debug.reject();
throw new yyParser.yyException("irrecoverable syntax error at end-of-file");
}
//t if (debug != null)
//t debug.discard(yyState, yyToken, yyname(yyToken),
//t yyLex.value());
yyToken = -1;
goto continue_yyDiscarded; // leave stack alone
}
}
int yyV = yyTop + 1-yyLen[yyN];
//t if (debug != null)
//t debug.reduce(yyState, yyStates[yyV-1], yyN, YYRules.getRule (yyN), yyLen[yyN]);
yyVal = yyDefault(yyV > yyTop ? null : yyVals[yyV]);
switch (yyN) {
case 6:
#line 366 "cs-parser.jay"
{
Lexer.check_incorrect_doc_comment ();
}
break;
case 7:
#line 370 "cs-parser.jay"
{
Lexer.check_incorrect_doc_comment ();
}
break;
case 15:
#line 393 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-2+yyTop];
string s = lt.Value;
if (s != "alias"){
syntax_error (lt.Location, "`alias' expected");
} else if (RootContext.Version == LanguageVersion.ISO_1) {
Report.FeatureIsNotAvailable (lt.Location, "external alias");
} else {
lt = (LocatedToken) yyVals[-1+yyTop];
current_namespace.AddUsingExternalAlias (lt.Value, lt.Location);
}
}
break;
case 16:
#line 406 "cs-parser.jay"
{
syntax_error (GetLocation (yyVals[-1+yyTop]), "`alias' expected"); /* TODO: better*/
}
break;
case 19:
#line 418 "cs-parser.jay"
{
if (RootContext.Documentation != null)
Lexer.doc_state = XmlCommentState.Allowed;
}
break;
case 20:
#line 423 "cs-parser.jay"
{
if (RootContext.Documentation != null)
Lexer.doc_state = XmlCommentState.Allowed;
}
break;
case 21:
#line 431 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-3+yyTop];
current_namespace.AddUsingAlias (lt.Value, (MemberName) yyVals[-1+yyTop], (Location) yyVals[-4+yyTop]);
}
break;
case 22:
#line 435 "cs-parser.jay"
{
CheckIdentifierToken (yyToken, GetLocation (yyVals[0+yyTop]));
yyVal = null;
}
break;
case 23:
#line 443 "cs-parser.jay"
{
current_namespace.AddUsing ((MemberName) yyVals[-1+yyTop], (Location) yyVals[-2+yyTop]);
}
break;
case 24:
#line 455 "cs-parser.jay"
{
MemberName name = (MemberName) yyVals[0+yyTop];
if (yyVals[-2+yyTop] != null) {
Report.Error(1671, name.Location, "A namespace declaration cannot have modifiers or attributes");
}
current_namespace = new NamespaceEntry (
current_namespace, file, name.GetName ());
current_class = current_namespace.SlaveDeclSpace;
current_container = current_class.PartialContainer;
}
break;
case 25:
#line 468 "cs-parser.jay"
{
current_namespace = current_namespace.Parent;
current_class = current_namespace.SlaveDeclSpace;
current_container = current_class.PartialContainer;
}
break;
case 26:
#line 477 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[0+yyTop];
yyVal = new MemberName (lt.Value, lt.Location);
}
break;
case 27:
#line 482 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[0+yyTop];
yyVal = new MemberName ((MemberName) yyVals[-2+yyTop], lt.Value, lt.Location);
}
break;
case 28:
#line 487 "cs-parser.jay"
{
syntax_error (lexer.Location, "`.' expected");
}
break;
case 33:
#line 504 "cs-parser.jay"
{
MemberName name = (MemberName) yyVals[0+yyTop];
if (name.TypeArguments != null)
syntax_error (lexer.Location, "namespace name expected");
yyVal = name;
}
break;
case 34:
#line 516 "cs-parser.jay"
{
if (RootContext.Documentation != null)
Lexer.doc_state = XmlCommentState.Allowed;
}
break;
case 37:
#line 529 "cs-parser.jay"
{
Report.Error (1518, lexer.Location, "Expected `class', `delegate', `enum', `interface', or `struct'");
}
break;
case 39:
#line 537 "cs-parser.jay"
{
Report.Error (1513, lexer.Location, "Expected `}'");
}
break;
case 48:
#line 564 "cs-parser.jay"
{
if (yyVals[0+yyTop] != null) {
DeclSpace ds = (DeclSpace)yyVals[0+yyTop];
if ((ds.ModFlags & (Modifiers.PRIVATE|Modifiers.PROTECTED)) != 0){
Report.Error (1527, ds.Location,
"Namespace elements cannot be explicitly declared as private, protected or protected internal");
}
}
current_namespace.DeclarationFound = true;
}
break;
case 49:
#line 575 "cs-parser.jay"
{
current_namespace.DeclarationFound = true;
}
break;
case 50:
#line 579 "cs-parser.jay"
{
Report.Error (116, ((MemberCore) yyVals[0+yyTop]).Location, "A namespace can only contain types and namespace declarations");
}
break;
case 51:
#line 582 "cs-parser.jay"
{
Report.Error (116, ((MemberCore) yyVals[0+yyTop]).Location, "A namespace can only contain types and namespace declarations");
}
break;
case 57:
#line 608 "cs-parser.jay"
{
if (yyVals[0+yyTop] != null) {
Attributes attrs = (Attributes)yyVals[0+yyTop];
if (global_attrs_enabled) {
CodeGen.Assembly.AddAttributes (attrs.Attrs);
} else {
foreach (Attribute a in attrs.Attrs) {
Report.Error (1730, a.Location, "Assembly and module attributes must precede all other elements except using clauses and extern alias declarations");
}
}
}
yyVal = yyVals[0+yyTop];
}
break;
case 58:
#line 625 "cs-parser.jay"
{
global_attrs_enabled = false;
yyVal = null;
}
break;
case 59:
#line 630 "cs-parser.jay"
{
global_attrs_enabled = false;
yyVal = yyVals[0+yyTop];
}
break;
case 60:
#line 639 "cs-parser.jay"
{
if (current_attr_target != String.Empty) {
ArrayList sect = (ArrayList) yyVals[0+yyTop];
if (global_attrs_enabled) {
if (current_attr_target == "module") {
CodeGen.Module.AddAttributes (sect);
yyVal = null;
} else if (current_attr_target != null && current_attr_target.Length > 0) {
CodeGen.Assembly.AddAttributes (sect);
yyVal = null;
} else {
yyVal = new Attributes (sect);
}
if (yyVal == null) {
if (RootContext.Documentation != null) {
Lexer.check_incorrect_doc_comment ();
Lexer.doc_state =
XmlCommentState.Allowed;
}
}
} else {
yyVal = new Attributes (sect);
}
}
else
yyVal = null;
current_attr_target = null;
}
break;
case 61:
#line 669 "cs-parser.jay"
{
if (current_attr_target != String.Empty) {
Attributes attrs = yyVals[-1+yyTop] as Attributes;
ArrayList sect = (ArrayList) yyVals[0+yyTop];
if (global_attrs_enabled) {
if (current_attr_target == "module") {
CodeGen.Module.AddAttributes (sect);
yyVal = null;
} else if (current_attr_target == "assembly") {
CodeGen.Assembly.AddAttributes (sect);
yyVal = null;
} else {
if (attrs == null)
attrs = new Attributes (sect);
else
attrs.AddAttributes (sect);
}
} else {
if (attrs == null)
attrs = new Attributes (sect);
else
attrs.AddAttributes (sect);
}
yyVal = attrs;
}
else
yyVal = null;
current_attr_target = null;
}
break;
case 62:
#line 703 "cs-parser.jay"
{
yyVal = yyVals[-2+yyTop];
}
break;
case 63:
#line 707 "cs-parser.jay"
{
yyVal = yyVals[-2+yyTop];
}
break;
case 64:
#line 714 "cs-parser.jay"
{
current_attr_target = (string)yyVals[-1+yyTop];
yyVal = yyVals[-1+yyTop];
}
break;
case 65:
#line 722 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[0+yyTop];
yyVal = CheckAttributeTarget (lt.Value, lt.Location);
}
break;
case 66:
#line 726 "cs-parser.jay"
{ yyVal = "event"; }
break;
case 67:
#line 727 "cs-parser.jay"
{ yyVal = "return"; }
break;
case 68:
#line 729 "cs-parser.jay"
{
string name = GetTokenName (yyToken);
yyVal = CheckAttributeTarget (name, GetLocation (yyVals[0+yyTop]));
}
break;
case 69:
#line 737 "cs-parser.jay"
{
ArrayList attrs = new ArrayList (4);
attrs.Add (yyVals[0+yyTop]);
yyVal = attrs;
}
break;
case 70:
#line 745 "cs-parser.jay"
{
ArrayList attrs = (ArrayList) yyVals[-2+yyTop];
attrs.Add (yyVals[0+yyTop]);
yyVal = attrs;
}
break;
case 71:
#line 755 "cs-parser.jay"
{
++lexer.parsing_block;
}
break;
case 72:
#line 759 "cs-parser.jay"
{
--lexer.parsing_block;
MemberName mname = (MemberName) yyVals[-2+yyTop];
if (mname.IsGeneric) {
Report.Error (404, lexer.Location,
"'<' unexpected: attributes cannot be generic");
}
object [] arguments = (object []) yyVals[0+yyTop];
MemberName left = mname.Left;
string identifier = mname.Name;
Expression left_expr = left == null ? null : left.GetTypeExpression ();
if (current_attr_target == String.Empty)
yyVal = null;
else if (global_attrs_enabled && (current_attr_target == "assembly" || current_attr_target == "module"))
/* FIXME: supply "nameEscaped" parameter here.*/
yyVal = new GlobalAttribute (current_namespace, current_attr_target,
left_expr, identifier, arguments, mname.Location, lexer.IsEscapedIdentifier (mname.Location));
else
yyVal = new Attribute (current_attr_target, left_expr, identifier, arguments, mname.Location, lexer.IsEscapedIdentifier (mname.Location));
}
break;
case 73:
#line 785 "cs-parser.jay"
{ /* reserved attribute name or identifier: 17.4 */ }
break;
case 74:
#line 789 "cs-parser.jay"
{ yyVal = null; }
break;
case 75:
#line 791 "cs-parser.jay"
{
yyVal = yyVals[-1+yyTop];
}
break;
case 76:
#line 799 "cs-parser.jay"
{
if (yyVals[0+yyTop] == null)
yyVal = null;
else {
yyVal = new object [] { yyVals[0+yyTop], null };
}
}
break;
case 77:
#line 807 "cs-parser.jay"
{
yyVal = new object[] { yyVals[-2+yyTop], yyVals[0+yyTop] };
}
break;
case 78:
#line 811 "cs-parser.jay"
{
yyVal = new object [] { null, yyVals[0+yyTop] };
}
break;
case 79:
#line 818 "cs-parser.jay"
{ yyVal = null; }
break;
case 81:
#line 824 "cs-parser.jay"
{
ArrayList args = new ArrayList (4);
args.Add (new Argument ((Expression) yyVals[0+yyTop], Argument.AType.Expression));
yyVal = args;
}
break;
case 82:
#line 831 "cs-parser.jay"
{
ArrayList args = (ArrayList) yyVals[-2+yyTop];
args.Add (new Argument ((Expression) yyVals[0+yyTop], Argument.AType.Expression));
yyVal = args;
}
break;
case 83:
#line 841 "cs-parser.jay"
{
ArrayList args = new ArrayList (4);
args.Add (yyVals[0+yyTop]);
yyVal = args;
}
break;
case 84:
#line 848 "cs-parser.jay"
{
ArrayList args = (ArrayList) yyVals[-2+yyTop];
args.Add (yyVals[0+yyTop]);
yyVal = args;
}
break;
case 85:
#line 855 "cs-parser.jay"
{
Report.Error (1016, ((Expression) yyVals[0+yyTop]).Location, "Named attribute argument expected");
yyVal = null;
}
break;
case 86:
#line 863 "cs-parser.jay"
{
/* FIXME: keep location*/
yyVal = new DictionaryEntry (
((LocatedToken) yyVals[-2+yyTop]).Value,
new Argument ((Expression) yyVals[0+yyTop], Argument.AType.Expression));
}
break;
case 102:
#line 899 "cs-parser.jay"
{
Report.Error (1519, lexer.Location, "Unexpected symbol `{0}' in class, struct, or interface member declaration",
GetSymbolName (yyToken));
yyVal = null;
lexer.parsing_generic_declaration = false;
}
break;
case 103:
#line 912 "cs-parser.jay"
{
lexer.ConstraintsParsing = true;
}
break;
case 104:
#line 916 "cs-parser.jay"
{
MemberName name = MakeName ((MemberName) yyVals[0+yyTop]);
push_current_class (new Struct (current_namespace, current_class, name, (int) yyVals[-4+yyTop], (Attributes) yyVals[-5+yyTop]), yyVals[-3+yyTop]);
}
break;
case 105:
#line 922 "cs-parser.jay"
{
lexer.ConstraintsParsing = false;
current_class.SetParameterInfo ((ArrayList) yyVals[0+yyTop]);
if (RootContext.Documentation != null)
current_container.DocComment = Lexer.consume_doc_comment ();
}
break;
case 106:
#line 931 "cs-parser.jay"
{
--lexer.parsing_declaration;
if (RootContext.Documentation != null)
Lexer.doc_state = XmlCommentState.Allowed;
}
break;
case 107:
#line 937 "cs-parser.jay"
{
yyVal = pop_current_class ();
}
break;
case 108:
#line 940 "cs-parser.jay"
{
CheckIdentifierToken (yyToken, GetLocation (yyVals[0+yyTop]));
}
break;
case 109:
#line 947 "cs-parser.jay"
{
if (RootContext.Documentation != null)
Lexer.doc_state = XmlCommentState.Allowed;
}
break;
case 125:
#line 989 "cs-parser.jay"
{
int modflags = (int) yyVals[-4+yyTop];
foreach (VariableDeclaration constant in (ArrayList) yyVals[-1+yyTop]){
Location l = constant.Location;
if ((modflags & Modifiers.STATIC) != 0) {
Report.Error (504, l, "The constant `{0}' cannot be marked static", current_container.GetSignatureForError () + '.' + (string) constant.identifier);
continue;
}
Const c = new Const (
current_class, (FullNamedExpression) yyVals[-2+yyTop], (string) constant.identifier,
(Expression) constant.expression_or_array_initializer, modflags,
(Attributes) yyVals[-5+yyTop], l);
if (RootContext.Documentation != null) {
c.DocComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.Allowed;
}
current_container.AddConstant (c);
}
}
break;
case 126:
#line 1014 "cs-parser.jay"
{
ArrayList constants = new ArrayList (4);
if (yyVals[0+yyTop] != null)
constants.Add (yyVals[0+yyTop]);
yyVal = constants;
}
break;
case 127:
#line 1021 "cs-parser.jay"
{
if (yyVals[0+yyTop] != null) {
ArrayList constants = (ArrayList) yyVals[-2+yyTop];
constants.Add (yyVals[0+yyTop]);
}
}
break;
case 128:
#line 1031 "cs-parser.jay"
{
++lexer.parsing_block;
}
break;
case 129:
#line 1035 "cs-parser.jay"
{
--lexer.parsing_block;
yyVal = new VariableDeclaration ((LocatedToken) yyVals[-3+yyTop], yyVals[0+yyTop]);
}
break;
case 130:
#line 1040 "cs-parser.jay"
{
/* A const field requires a value to be provided*/
Report.Error (145, ((LocatedToken) yyVals[0+yyTop]).Location, "A const field requires a value to be provided");
yyVal = null;
}
break;
case 133:
#line 1058 "cs-parser.jay"
{
FullNamedExpression type = (FullNamedExpression) yyVals[-2+yyTop];
if (type == TypeManager.system_void_expr)
Report.Error (670, GetLocation (yyVals[-2+yyTop]), "Fields cannot have void type");
int mod = (int) yyVals[-3+yyTop];
current_array_type = null;
foreach (VariableMemberDeclaration var in (ArrayList) yyVals[-1+yyTop]){
Field field = new Field (current_class, type, mod, var.MemberName, (Attributes) yyVals[-4+yyTop]);
field.Initializer = var.expression_or_array_initializer;
if (RootContext.Documentation != null) {
field.DocComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.Allowed;
}
current_container.AddField (field);
yyVal = field; /* FIXME: might be better if it points to the top item*/
}
}
break;
case 134:
#line 1086 "cs-parser.jay"
{
FullNamedExpression type = (FullNamedExpression) yyVals[-2+yyTop];
int mod = (int) yyVals[-4+yyTop];
current_array_type = null;
foreach (VariableDeclaration var in (ArrayList) yyVals[-1+yyTop]) {
FixedField field = new FixedField (current_class, type, mod, var.identifier,
(Expression)var.expression_or_array_initializer, (Attributes) yyVals[-5+yyTop], var.Location);
if (RootContext.Documentation != null) {
field.DocComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.Allowed;
}
current_container.AddField (field);
yyVal = field; /* FIXME: might be better if it points to the top item*/
}
}
break;
case 135:
#line 1110 "cs-parser.jay"
{
Report.Error (1641, GetLocation (yyVals[-1+yyTop]), "A fixed size buffer field must have the array size specifier after the field name");
}
break;
case 136:
#line 1117 "cs-parser.jay"
{
ArrayList decl = new ArrayList (2);
decl.Add (yyVals[0+yyTop]);
yyVal = decl;
}
break;
case 137:
#line 1123 "cs-parser.jay"
{
ArrayList decls = (ArrayList) yyVals[-2+yyTop];
decls.Add (yyVals[0+yyTop]);
yyVal = yyVals[-2+yyTop];
}
break;
case 138:
#line 1132 "cs-parser.jay"
{
yyVal = new VariableDeclaration ((LocatedToken) yyVals[-3+yyTop], yyVals[-1+yyTop]);
}
break;
case 139:
#line 1136 "cs-parser.jay"
{
Report.Error (443, lexer.Location, "Value or constant expected");
yyVal = new VariableDeclaration ((LocatedToken) yyVals[-2+yyTop], null);
}
break;
case 140:
#line 1145 "cs-parser.jay"
{
ArrayList decl = new ArrayList (4);
if (yyVals[0+yyTop] != null)
decl.Add (yyVals[0+yyTop]);
yyVal = decl;
}
break;
case 141:
#line 1152 "cs-parser.jay"
{
ArrayList decls = (ArrayList) yyVals[-2+yyTop];
decls.Add (yyVals[0+yyTop]);
yyVal = yyVals[-2+yyTop];
}
break;
case 142:
#line 1161 "cs-parser.jay"
{
yyVal = new VariableDeclaration ((LocatedToken) yyVals[-2+yyTop], yyVals[0+yyTop]);
}
break;
case 143:
#line 1165 "cs-parser.jay"
{
yyVal = new VariableDeclaration ((LocatedToken) yyVals[0+yyTop], null);
}
break;
case 144:
#line 1169 "cs-parser.jay"
{
yyVal = null;
}
break;
case 147:
#line 1178 "cs-parser.jay"
{
yyVal = new StackAlloc ((Expression) yyVals[-3+yyTop], (Expression) yyVals[-1+yyTop], (Location) yyVals[-4+yyTop]);
}
break;
case 148:
#line 1182 "cs-parser.jay"
{
yyVal = new ArglistAccess ((Location) yyVals[0+yyTop]);
}
break;
case 149:
#line 1186 "cs-parser.jay"
{
Report.Error (1575, (Location) yyVals[-1+yyTop], "A stackalloc expression requires [] after type");
yyVal = new StackAlloc ((Expression) yyVals[0+yyTop], null, (Location) yyVals[-1+yyTop]);
}
break;
case 150:
#line 1194 "cs-parser.jay"
{
ArrayList decl = new ArrayList (4);
if (yyVals[0+yyTop] != null)
decl.Add (yyVals[0+yyTop]);
yyVal = decl;
}
break;
case 151:
#line 1201 "cs-parser.jay"
{
ArrayList decls = (ArrayList) yyVals[-2+yyTop];
decls.Add (yyVals[0+yyTop]);
yyVal = yyVals[-2+yyTop];
}
break;
case 152:
#line 1210 "cs-parser.jay"
{
++lexer.parsing_block;
lexer.parsing_generic_declaration = false;
}
break;
case 153:
#line 1215 "cs-parser.jay"
{
--lexer.parsing_block;
yyVal = new VariableMemberDeclaration ((MemberName) yyVals[-3+yyTop], yyVals[0+yyTop]);
}
break;
case 154:
#line 1220 "cs-parser.jay"
{
lexer.parsing_generic_declaration = false;
yyVal = new VariableMemberDeclaration ((MemberName) yyVals[0+yyTop], null);
}
break;
case 155:
#line 1225 "cs-parser.jay"
{
lexer.parsing_generic_declaration = false;
yyVal = null;
}
break;
case 156:
#line 1233 "cs-parser.jay"
{
Report.Error (650, GetLocation (yyVals[-2+yyTop]), "Syntax error, bad array declarator. To declare a managed array the rank specifier precedes the variable's identifier. " +
"To declare a fixed size buffer field, use the fixed keyword before the field type");
}
break;
case 159:
#line 1245 "cs-parser.jay"
{
if (RootContext.Documentation != null)
Lexer.doc_state = XmlCommentState.NotAllowed;
}
break;
case 160:
#line 1250 "cs-parser.jay"
{
Method method = (Method) yyVals[-2+yyTop];
method.Block = (ToplevelBlock) yyVals[0+yyTop];
current_container.AddMethod (method);
if (current_container.Kind == Kind.Interface && method.Block != null) {
Report.Error (531, method.Location, "`{0}': interface members cannot have a definition", method.GetSignatureForError ());
}
current_generic_method = null;
current_local_parameters = null;
if (RootContext.Documentation != null)
Lexer.doc_state = XmlCommentState.Allowed;
}
break;
case 161:
#line 1272 "cs-parser.jay"
{
arglist_allowed = true;
}
break;
case 162:
#line 1276 "cs-parser.jay"
{
lexer.ConstraintsParsing = true;
}
break;
case 163:
#line 1280 "cs-parser.jay"
{
lexer.ConstraintsParsing = false;
arglist_allowed = false;
MemberName name = (MemberName) yyVals[-6+yyTop];
current_local_parameters = (Parameters) yyVals[-3+yyTop];
if (yyVals[0+yyTop] != null && name.TypeArguments == null)
Report.Error (80, lexer.Location,
"Constraints are not allowed on non-generic declarations");
Method method;
GenericMethod generic = null;
if (name.TypeArguments != null) {
generic = new GenericMethod (current_namespace, current_class, name,
(FullNamedExpression) yyVals[-7+yyTop], current_local_parameters);
generic.SetParameterInfo ((ArrayList) yyVals[0+yyTop]);
}
method = new Method (current_class, generic, (FullNamedExpression) yyVals[-7+yyTop], (int) yyVals[-8+yyTop],
name, current_local_parameters, (Attributes) yyVals[-9+yyTop]);
current_generic_method = generic;
if (RootContext.Documentation != null)
method.DocComment = Lexer.consume_doc_comment ();
yyVal = method;
}
break;
case 164:
#line 1315 "cs-parser.jay"
{
lexer.ConstraintsParsing = true;
}
break;
case 165:
#line 1319 "cs-parser.jay"
{
lexer.ConstraintsParsing = false;
MemberName name = (MemberName) yyVals[-5+yyTop];
current_local_parameters = (Parameters) yyVals[-3+yyTop];
if (yyVals[-1+yyTop] != null && name.TypeArguments == null)
Report.Error (80, lexer.Location,
"Constraints are not allowed on non-generic declarations");
Method method;
GenericMethod generic = null;
if (name.TypeArguments != null) {
generic = new GenericMethod (current_namespace, current_class, name,
TypeManager.system_void_expr, current_local_parameters);
generic.SetParameterInfo ((ArrayList) yyVals[0+yyTop]);
}
int modifiers = (int) yyVals[-8+yyTop];
const int invalid_partial_mod = Modifiers.Accessibility | Modifiers.ABSTRACT | Modifiers.EXTERN |
Modifiers.NEW | Modifiers.OVERRIDE | Modifiers.SEALED | Modifiers.VIRTUAL;
if ((modifiers & invalid_partial_mod) != 0) {
Report.Error (750, name.Location, "A partial method cannot define access modifier or " +
"any of abstract, extern, new, override, sealed, or virtual modifiers");
modifiers &= ~invalid_partial_mod;
}
if ((current_class.ModFlags & Modifiers.PARTIAL) == 0) {
Report.Error (751, name.Location, "A partial method must be declared within a " +
"partial class or partial struct");
}
modifiers |= Modifiers.PARTIAL | Modifiers.PRIVATE;
method = new Method (current_class, generic, TypeManager.system_void_expr,
modifiers, name, current_local_parameters, (Attributes) yyVals[-9+yyTop]);
current_generic_method = generic;
if (RootContext.Documentation != null)
method.DocComment = Lexer.consume_doc_comment ();
yyVal = method;
}
break;
case 166:
#line 1371 "cs-parser.jay"
{
MemberName name = (MemberName) yyVals[-3+yyTop];
Report.Error (1585, name.Location,
"Member modifier `{0}' must precede the member type and name", Modifiers.Name ((int) yyVals[-4+yyTop]));
Method method = new Method (current_class, null, TypeManager.system_void_expr,
0, name, (Parameters) yyVals[-1+yyTop], (Attributes) yyVals[-7+yyTop]);
current_local_parameters = (Parameters) yyVals[-1+yyTop];
if (RootContext.Documentation != null)
method.DocComment = Lexer.consume_doc_comment ();
yyVal = null;
}
break;
case 168:
#line 1390 "cs-parser.jay"
{ yyVal = null; }
break;
case 169:
#line 1394 "cs-parser.jay"
{ yyVal = Parameters.EmptyReadOnlyParameters; }
break;
case 171:
#line 1399 "cs-parser.jay"
{ yyVal = Parameters.EmptyReadOnlyParameters; }
break;
case 172:
#line 1401 "cs-parser.jay"
{
parameter_modifiers_not_allowed = true;
}
break;
case 173:
#line 1405 "cs-parser.jay"
{
parameter_modifiers_not_allowed = false;
yyVal = yyVals[0+yyTop];
}
break;
case 174:
#line 1413 "cs-parser.jay"
{
ArrayList pars_list = (ArrayList) yyVals[0+yyTop];
Parameter [] pars = new Parameter [pars_list.Count];
pars_list.CopyTo (pars);
yyVal = new Parameters (pars);
}
break;
case 175:
#line 1422 "cs-parser.jay"
{
ArrayList pars_list = (ArrayList) yyVals[-2+yyTop];
pars_list.Add (yyVals[0+yyTop]);
Parameter [] pars = new Parameter [pars_list.Count];
pars_list.CopyTo (pars);
yyVal = new Parameters (pars);
}
break;
case 176:
#line 1432 "cs-parser.jay"
{
ArrayList pars_list = (ArrayList) yyVals[-2+yyTop];
pars_list.Add (new ArglistParameter (GetLocation (yyVals[0+yyTop])));
Parameter [] pars = new Parameter [pars_list.Count];
pars_list.CopyTo (pars);
yyVal = new Parameters (pars, true);
}
break;
case 177:
#line 1442 "cs-parser.jay"
{
if (yyVals[-2+yyTop] != null)
Report.Error (231, ((Parameter) yyVals[-2+yyTop]).Location, "A params parameter must be the last parameter in a formal parameter list");
yyVal = null;
}
break;
case 178:
#line 1448 "cs-parser.jay"
{
if (yyVals[-2+yyTop] != null)
Report.Error (231, ((Parameter) yyVals[-2+yyTop]).Location, "A params parameter must be the last parameter in a formal parameter list");
yyVal = null;
}
break;
case 179:
#line 1454 "cs-parser.jay"
{
Report.Error (257, (Location) yyVals[-2+yyTop], "An __arglist parameter must be the last parameter in a formal parameter list");
yyVal = null;
}
break;
case 180:
#line 1459 "cs-parser.jay"
{
Report.Error (257, (Location) yyVals[-2+yyTop], "An __arglist parameter must be the last parameter in a formal parameter list");
yyVal = null;
}
break;
case 181:
#line 1464 "cs-parser.jay"
{
yyVal = new Parameters (new Parameter[] { (Parameter) yyVals[0+yyTop] } );
}
break;
case 182:
#line 1468 "cs-parser.jay"
{
yyVal = new Parameters (new Parameter [] { new ArglistParameter ((Location) yyVals[0+yyTop]) }, true);
}
break;
case 183:
#line 1475 "cs-parser.jay"
{
ArrayList pars = new ArrayList (4);
pars.Add (yyVals[0+yyTop]);
yyVal = pars;
}
break;
case 184:
#line 1482 "cs-parser.jay"
{
ArrayList pars = (ArrayList) yyVals[-2+yyTop];
Parameter p = (Parameter)yyVals[0+yyTop];
if (p != null) {
if (p.HasExtensionMethodModifier)
Report.Error (1100, p.Location, "The parameter modifier `this' can only be used on the first parameter");
pars.Add (p);
}
yyVal = yyVals[-2+yyTop];
}
break;
case 185:
#line 1499 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[0+yyTop];
yyVal = new Parameter ((FullNamedExpression) yyVals[-1+yyTop], lt.Value, (Parameter.Modifier) yyVals[-2+yyTop], (Attributes) yyVals[-3+yyTop], lt.Location);
}
break;
case 186:
#line 1507 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-2+yyTop];
Report.Error (1552, lt.Location, "Array type specifier, [], must appear before parameter name");
yyVal = null;
}
break;
case 187:
#line 1515 "cs-parser.jay"
{
Report.Error (1001, GetLocation (yyVals[0+yyTop]), "Identifier expected");
yyVal = new Parameter ((FullNamedExpression) yyVals[0+yyTop], "NeedSomeGeneratorHere", (Parameter.Modifier) yyVals[-1+yyTop], (Attributes) yyVals[-2+yyTop], lexer.Location);
}
break;
case 188:
#line 1522 "cs-parser.jay"
{
CheckIdentifierToken (yyToken, GetLocation (yyVals[0+yyTop]));
yyVal = null;
}
break;
case 189:
#line 1532 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-2+yyTop];
Report.Error (241, lt.Location, "Default parameter specifiers are not permitted");
yyVal = null;
}
break;
case 190:
#line 1540 "cs-parser.jay"
{ yyVal = Parameter.Modifier.NONE; }
break;
case 192:
#line 1546 "cs-parser.jay"
{
yyVal = yyVals[0+yyTop];
}
break;
case 193:
#line 1550 "cs-parser.jay"
{
Parameter.Modifier p2 = (Parameter.Modifier)yyVals[0+yyTop];
Parameter.Modifier mod = (Parameter.Modifier)yyVals[-1+yyTop] | p2;
if (((Parameter.Modifier)yyVals[-1+yyTop] & p2) == p2) {
Error_DuplicateParameterModifier (lexer.Location, p2);
} else {
switch (mod & ~Parameter.Modifier.This) {
case Parameter.Modifier.REF:
Report.Error (1101, lexer.Location, "The parameter modifiers `this' and `ref' cannot be used altogether");
break;
case Parameter.Modifier.OUT:
Report.Error (1102, lexer.Location, "The parameter modifiers `this' and `out' cannot be used altogether");
break;
default:
Report.Error (1108, lexer.Location, "A parameter cannot have specified more than one modifier");
break;
}
}
yyVal = mod;
}
break;
case 194:
#line 1574 "cs-parser.jay"
{
if (parameter_modifiers_not_allowed)
Error_ParameterModifierNotValid ("ref", (Location)yyVals[0+yyTop]);
yyVal = Parameter.Modifier.REF;
}
break;
case 195:
#line 1581 "cs-parser.jay"
{
if (parameter_modifiers_not_allowed)
Error_ParameterModifierNotValid ("out", (Location)yyVals[0+yyTop]);
yyVal = Parameter.Modifier.OUT;
}
break;
case 196:
#line 1588 "cs-parser.jay"
{
if (parameter_modifiers_not_allowed)
Error_ParameterModifierNotValid ("this", (Location)yyVals[0+yyTop]);
if (RootContext.Version <= LanguageVersion.ISO_2)
Report.FeatureIsNotAvailable (GetLocation (yyVals[0+yyTop]), "extension methods");
yyVal = Parameter.Modifier.This;
}
break;
case 197:
#line 1601 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[0+yyTop];
yyVal = new ParamsParameter ((FullNamedExpression) yyVals[-1+yyTop], lt.Value, (Attributes) yyVals[-3+yyTop], lt.Location);
}
break;
case 198:
#line 1605 "cs-parser.jay"
{
CheckIdentifierToken (yyToken, GetLocation (yyVals[0+yyTop]));
yyVal = null;
}
break;
case 199:
#line 1613 "cs-parser.jay"
{
if (params_modifiers_not_allowed)
Report.Error (1670, ((Location) yyVals[0+yyTop]), "The `params' modifier is not allowed in current context");
}
break;
case 200:
#line 1618 "cs-parser.jay"
{
Parameter.Modifier mod = (Parameter.Modifier)yyVals[0+yyTop];
if ((mod & Parameter.Modifier.This) != 0) {
Report.Error (1104, (Location)yyVals[-1+yyTop], "The parameter modifiers `this' and `params' cannot be used altogether");
} else {
Report.Error (1611, (Location)yyVals[-1+yyTop], "The params parameter cannot be declared as ref or out");
}
}
break;
case 201:
#line 1627 "cs-parser.jay"
{
Error_DuplicateParameterModifier ((Location)yyVals[-1+yyTop], Parameter.Modifier.PARAMS);
}
break;
case 202:
#line 1634 "cs-parser.jay"
{
if (!arglist_allowed)
Report.Error (1669, (Location) yyVals[0+yyTop], "__arglist is not valid in this context");
}
break;
case 203:
#line 1645 "cs-parser.jay"
{
if (RootContext.Documentation != null)
tmpComment = Lexer.consume_doc_comment ();
}
break;
case 204:
#line 1650 "cs-parser.jay"
{
implicit_value_parameter_type = (FullNamedExpression) yyVals[-3+yyTop];
lexer.PropertyParsing = true;
}
break;
case 205:
#line 1655 "cs-parser.jay"
{
lexer.PropertyParsing = false;
has_get = has_set = false;
}
break;
case 206:
#line 1660 "cs-parser.jay"
{
Property prop;
Accessors accessors = (Accessors) yyVals[-2+yyTop];
Accessor get_block = accessors != null ? accessors.get_or_add : null;
Accessor set_block = accessors != null ? accessors.set_or_remove : null;
bool order = accessors != null ? accessors.declared_in_reverse : false;
MemberName name = (MemberName) yyVals[-6+yyTop];
FullNamedExpression ptype = (FullNamedExpression) yyVals[-7+yyTop];
prop = new Property (current_class, ptype, (int) yyVals[-8+yyTop],
name, (Attributes) yyVals[-9+yyTop], get_block, set_block, order, current_block);
if (ptype == TypeManager.system_void_expr)
Report.Error (547, name.Location, "`{0}': property or indexer cannot have void type", prop.GetSignatureForError ());
if (accessors == null)
Report.Error (548, prop.Location, "`{0}': property or indexer must have at least one accessor", prop.GetSignatureForError ());
if (current_container.Kind == Kind.Interface) {
if (prop.Get.Block != null)
Report.Error (531, prop.Location, "`{0}.get': interface members cannot have a definition", prop.GetSignatureForError ());
if (prop.Set.Block != null)
Report.Error (531, prop.Location, "`{0}.set': interface members cannot have a definition", prop.GetSignatureForError ());
}
current_container.AddProperty (prop);
implicit_value_parameter_type = null;
if (RootContext.Documentation != null)
prop.DocComment = ConsumeStoredComment ();
}
break;
case 207:
#line 1698 "cs-parser.jay"
{
yyVal = new Accessors ((Accessor) yyVals[0+yyTop], null);
}
break;
case 208:
#line 1702 "cs-parser.jay"
{
Accessors accessors = (Accessors) yyVals[0+yyTop];
accessors.get_or_add = (Accessor) yyVals[-1+yyTop];
yyVal = accessors;
}
break;
case 209:
#line 1708 "cs-parser.jay"
{
yyVal = new Accessors (null, (Accessor) yyVals[0+yyTop]);
}
break;
case 210:
#line 1712 "cs-parser.jay"
{
Accessors accessors = (Accessors) yyVals[0+yyTop];
accessors.set_or_remove = (Accessor) yyVals[-1+yyTop];
accessors.declared_in_reverse = true;
yyVal = accessors;
}
break;
case 211:
#line 1719 "cs-parser.jay"
{
if (yyToken == Token.CLOSE_BRACE) {
yyVal = null;
} else {
if (yyToken == Token.SEMICOLON)
Report.Error (1597, lexer.Location, "Semicolon after method or accessor block is not valid");
else
Report.Error (1014, GetLocation (yyVals[0+yyTop]), "A get or set accessor expected");
yyVal = new Accessors (null, null);
}
}
break;
case 212:
#line 1735 "cs-parser.jay"
{
/* If this is not the case, then current_local_parameters has already*/
/* been set in indexer_declaration*/
if (parsing_indexer == false)
current_local_parameters = Parameters.EmptyReadOnlyParameters;
else
current_local_parameters = indexer_parameters;
lexer.PropertyParsing = false;
}
break;
case 213:
#line 1745 "cs-parser.jay"
{
if (has_get) {
Report.Error (1007, GetLocation (yyVals[-2+yyTop]), "Property accessor already defined");
break;
}
Accessor accessor = new Accessor ((ToplevelBlock) yyVals[0+yyTop], (int) yyVals[-3+yyTop], (Attributes) yyVals[-4+yyTop], current_local_parameters, (Location) yyVals[-2+yyTop]);
has_get = true;
current_local_parameters = null;
lexer.PropertyParsing = true;
if (RootContext.Documentation != null)
if (Lexer.doc_state == XmlCommentState.Error)
Lexer.doc_state = XmlCommentState.NotAllowed;
yyVal = accessor;
}
break;
case 214:
#line 1765 "cs-parser.jay"
{
Parameter implicit_value_parameter = new Parameter (
implicit_value_parameter_type, "value",
Parameter.Modifier.NONE, null, (Location) yyVals[0+yyTop]);
if (!parsing_indexer) {
current_local_parameters = new Parameters (new Parameter [] { implicit_value_parameter });
} else {
current_local_parameters = Parameters.MergeGenerated (
indexer_parameters, true, implicit_value_parameter, null);
}
lexer.PropertyParsing = false;
}
break;
case 215:
#line 1780 "cs-parser.jay"
{
if (has_set) {
Report.Error (1007, GetLocation (yyVals[-2+yyTop]), "Property accessor already defined");
break;
}
Accessor accessor = new Accessor ((ToplevelBlock) yyVals[0+yyTop], (int) yyVals[-3+yyTop], (Attributes) yyVals[-4+yyTop], current_local_parameters, (Location) yyVals[-2+yyTop]);
has_set = true;
current_local_parameters = null;
lexer.PropertyParsing = true;
if (RootContext.Documentation != null
&& Lexer.doc_state == XmlCommentState.Error)
Lexer.doc_state = XmlCommentState.NotAllowed;
yyVal = accessor;
}
break;
case 217:
#line 1801 "cs-parser.jay"
{
yyVal = null;
}
break;
case 218:
#line 1805 "cs-parser.jay"
{
Error_SyntaxError (1043, yyToken);
yyVal = null;
}
break;
case 219:
#line 1816 "cs-parser.jay"
{
lexer.ConstraintsParsing = true;
}
break;
case 220:
#line 1820 "cs-parser.jay"
{
MemberName name = MakeName ((MemberName) yyVals[0+yyTop]);
push_current_class (new Interface (current_namespace, current_class, name, (int) yyVals[-4+yyTop], (Attributes) yyVals[-5+yyTop]), yyVals[-3+yyTop]);
}
break;
case 221:
#line 1826 "cs-parser.jay"
{
lexer.ConstraintsParsing = false;
current_class.SetParameterInfo ((ArrayList) yyVals[0+yyTop]);
if (RootContext.Documentation != null) {
current_container.DocComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.Allowed;
}
}
break;
case 222:
#line 1837 "cs-parser.jay"
{
--lexer.parsing_declaration;
if (RootContext.Documentation != null)
Lexer.doc_state = XmlCommentState.Allowed;
}
break;
case 223:
#line 1843 "cs-parser.jay"
{
yyVal = pop_current_class ();
}
break;
case 224:
#line 1846 "cs-parser.jay"
{
CheckIdentifierToken (yyToken, GetLocation (yyVals[0+yyTop]));
}
break;
case 230:
#line 1869 "cs-parser.jay"
{
Report.Error (525, GetLocation (yyVals[0+yyTop]), "Interfaces cannot contain fields or constants");
}
break;
case 231:
#line 1873 "cs-parser.jay"
{
Report.Error (525, GetLocation (yyVals[0+yyTop]), "Interfaces cannot contain fields or constants");
}
break;
case 236:
#line 1881 "cs-parser.jay"
{
Report.Error (567, GetLocation (yyVals[0+yyTop]), "Interfaces cannot contain operators");
}
break;
case 237:
#line 1885 "cs-parser.jay"
{
Report.Error (526, GetLocation (yyVals[0+yyTop]), "Interfaces cannot contain contructors");
}
break;
case 238:
#line 1889 "cs-parser.jay"
{
Report.Error (524, GetLocation (yyVals[0+yyTop]), "Interfaces cannot declare classes, structs, interfaces, delegates, or enumerations");
}
break;
case 239:
#line 1896 "cs-parser.jay"
{
}
break;
case 240:
#line 1899 "cs-parser.jay"
{
if (yyVals[-2+yyTop] == null)
break;
OperatorDeclaration decl = (OperatorDeclaration) yyVals[-2+yyTop];
Operator op = new Operator (
current_class, decl.optype, decl.ret_type, (int) yyVals[-3+yyTop],
current_local_parameters,
(ToplevelBlock) yyVals[0+yyTop], (Attributes) yyVals[-4+yyTop], decl.location);
if (RootContext.Documentation != null) {
op.DocComment = tmpComment;
Lexer.doc_state = XmlCommentState.Allowed;
}
/* Note again, checking is done in semantic analysis*/
current_container.AddOperator (op);
current_local_parameters = null;
}
break;
case 242:
#line 1923 "cs-parser.jay"
{ yyVal = null; }
break;
case 244:
#line 1929 "cs-parser.jay"
{
Report.Error (590, lexer.Location, "User-defined operators cannot return void");
yyVal = TypeManager.system_void_expr;
}
break;
case 245:
#line 1937 "cs-parser.jay"
{
params_modifiers_not_allowed = true;
}
break;
case 246:
#line 1941 "cs-parser.jay"
{
params_modifiers_not_allowed = false;
Location loc = (Location) yyVals[-5+yyTop];
Operator.OpType op = (Operator.OpType) yyVals[-4+yyTop];
current_local_parameters = (Parameters)yyVals[-1+yyTop];
int p_count = current_local_parameters.Count;
if (p_count == 1) {
if (op == Operator.OpType.Addition)
op = Operator.OpType.UnaryPlus;
else if (op == Operator.OpType.Subtraction)
op = Operator.OpType.UnaryNegation;
}
if (IsUnaryOperator (op)) {
if (p_count == 2) {
Report.Error (1020, loc, "Overloadable binary operator expected");
} else if (p_count != 1) {
Report.Error (1535, loc, "Overloaded unary operator `{0}' takes one parameter",
Operator.GetName (op));
}
} else {
if (p_count > 2) {
Report.Error (1534, loc, "Overloaded binary operator `{0}' takes two parameters",
Operator.GetName (op));
} else if (p_count != 2) {
Report.Error (1019, loc, "Overloadable unary operator expected");
}
}
if (RootContext.Documentation != null) {
tmpComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.NotAllowed;
}
yyVal = new OperatorDeclaration (op, (FullNamedExpression) yyVals[-6+yyTop], loc);
}
break;
case 248:
#line 1984 "cs-parser.jay"
{ yyVal = Operator.OpType.LogicalNot; }
break;
case 249:
#line 1985 "cs-parser.jay"
{ yyVal = Operator.OpType.OnesComplement; }
break;
case 250:
#line 1986 "cs-parser.jay"
{ yyVal = Operator.OpType.Increment; }
break;
case 251:
#line 1987 "cs-parser.jay"
{ yyVal = Operator.OpType.Decrement; }
break;
case 252:
#line 1988 "cs-parser.jay"
{ yyVal = Operator.OpType.True; }
break;
case 253:
#line 1989 "cs-parser.jay"
{ yyVal = Operator.OpType.False; }
break;
case 254:
#line 1991 "cs-parser.jay"
{ yyVal = Operator.OpType.Addition; }
break;
case 255:
#line 1992 "cs-parser.jay"
{ yyVal = Operator.OpType.Subtraction; }
break;
case 256:
#line 1994 "cs-parser.jay"
{ yyVal = Operator.OpType.Multiply; }
break;
case 257:
#line 1995 "cs-parser.jay"
{ yyVal = Operator.OpType.Division; }
break;
case 258:
#line 1996 "cs-parser.jay"
{ yyVal = Operator.OpType.Modulus; }
break;
case 259:
#line 1997 "cs-parser.jay"
{ yyVal = Operator.OpType.BitwiseAnd; }
break;
case 260:
#line 1998 "cs-parser.jay"
{ yyVal = Operator.OpType.BitwiseOr; }
break;
case 261:
#line 1999 "cs-parser.jay"
{ yyVal = Operator.OpType.ExclusiveOr; }
break;
case 262:
#line 2000 "cs-parser.jay"
{ yyVal = Operator.OpType.LeftShift; }
break;
case 263:
#line 2001 "cs-parser.jay"
{ yyVal = Operator.OpType.RightShift; }
break;
case 264:
#line 2002 "cs-parser.jay"
{ yyVal = Operator.OpType.Equality; }
break;
case 265:
#line 2003 "cs-parser.jay"
{ yyVal = Operator.OpType.Inequality; }
break;
case 266:
#line 2004 "cs-parser.jay"
{ yyVal = Operator.OpType.GreaterThan; }
break;
case 267:
#line 2005 "cs-parser.jay"
{ yyVal = Operator.OpType.LessThan; }
break;
case 268:
#line 2006 "cs-parser.jay"
{ yyVal = Operator.OpType.GreaterThanOrEqual; }
break;
case 269:
#line 2007 "cs-parser.jay"
{ yyVal = Operator.OpType.LessThanOrEqual; }
break;
case 270:
#line 2012 "cs-parser.jay"
{
params_modifiers_not_allowed = true;
}
break;
case 271:
#line 2016 "cs-parser.jay"
{
params_modifiers_not_allowed = false;
Location loc = (Location) yyVals[-5+yyTop];
current_local_parameters = (Parameters)yyVals[-1+yyTop];
if (RootContext.Documentation != null) {
tmpComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.NotAllowed;
}
yyVal = new OperatorDeclaration (Operator.OpType.Implicit, (FullNamedExpression) yyVals[-4+yyTop], loc);
}
break;
case 272:
#line 2030 "cs-parser.jay"
{
params_modifiers_not_allowed = true;
}
break;
case 273:
#line 2034 "cs-parser.jay"
{
params_modifiers_not_allowed = false;
Location loc = (Location) yyVals[-5+yyTop];
current_local_parameters = (Parameters)yyVals[-1+yyTop];
if (RootContext.Documentation != null) {
tmpComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.NotAllowed;
}
yyVal = new OperatorDeclaration (Operator.OpType.Explicit, (FullNamedExpression) yyVals[-4+yyTop], loc);
}
break;
case 274:
#line 2048 "cs-parser.jay"
{
Error_SyntaxError (yyToken);
yyVal = new OperatorDeclaration (Operator.OpType.Implicit, null, GetLocation (yyVals[-1+yyTop]));
}
break;
case 275:
#line 2053 "cs-parser.jay"
{
Error_SyntaxError (yyToken);
yyVal = new OperatorDeclaration (Operator.OpType.Explicit, null, GetLocation (yyVals[-1+yyTop]));
}
break;
case 276:
#line 2062 "cs-parser.jay"
{
Constructor c = (Constructor) yyVals[-1+yyTop];
c.Block = (ToplevelBlock) yyVals[0+yyTop];
if (RootContext.Documentation != null)
c.DocComment = ConsumeStoredComment ();
current_container.AddConstructor (c);
current_local_parameters = null;
if (RootContext.Documentation != null)
Lexer.doc_state = XmlCommentState.Allowed;
}
break;
case 277:
#line 2081 "cs-parser.jay"
{
if (RootContext.Documentation != null) {
tmpComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.Allowed;
}
}
break;
case 278:
#line 2088 "cs-parser.jay"
{
current_local_parameters = (Parameters) yyVals[-1+yyTop];
/**/
/* start block here, so possible anonymous methods inside*/
/* constructor initializer can get correct parent block*/
/**/
start_block (lexer.Location);
}
break;
case 279:
#line 2098 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-6+yyTop];
int mods = (int) yyVals[-7+yyTop];
ConstructorInitializer ci = (ConstructorInitializer) yyVals[0+yyTop];
Constructor c = new Constructor (current_class, lt.Value, mods,
(Attributes) yyVals[-8+yyTop], current_local_parameters, ci, lt.Location);
if (lt.Value != current_container.MemberName.Name) {
Report.Error (1520, c.Location, "Class, struct, or interface method must have a return type");
} else if ((mods & Modifiers.STATIC) != 0) {
if ((mods & Modifiers.Accessibility) != 0){
Report.Error (515, c.Location,
"`{0}': static constructor cannot have an access modifier",
c.GetSignatureForError ());
}
if (ci != null) {
Report.Error (514, c.Location,
"`{0}': static constructor cannot have an explicit `this' or `base' constructor call",
c.GetSignatureForError ());
}
}
yyVal = c;
}
break;
case 281:
#line 2128 "cs-parser.jay"
{ current_block = null; yyVal = null; }
break;
case 284:
#line 2138 "cs-parser.jay"
{
++lexer.parsing_block;
}
break;
case 285:
#line 2142 "cs-parser.jay"
{
--lexer.parsing_block;
yyVal = new ConstructorBaseInitializer ((ArrayList) yyVals[-1+yyTop], (Location) yyVals[-4+yyTop]);
}
break;
case 286:
#line 2147 "cs-parser.jay"
{
++lexer.parsing_block;
}
break;
case 287:
#line 2151 "cs-parser.jay"
{
--lexer.parsing_block;
yyVal = new ConstructorThisInitializer ((ArrayList) yyVals[-1+yyTop], (Location) yyVals[-4+yyTop]);
}
break;
case 288:
#line 2155 "cs-parser.jay"
{
Report.Error (1018, (Location) yyVals[-1+yyTop], "Keyword this or base expected");
yyVal = null;
}
break;
case 289:
#line 2163 "cs-parser.jay"
{
if (RootContext.Documentation != null) {
tmpComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.NotAllowed;
}
current_local_parameters = Parameters.EmptyReadOnlyParameters;
}
break;
case 290:
#line 2172 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-3+yyTop];
if (lt.Value != current_container.MemberName.Name){
Report.Error (574, lt.Location, "Name of destructor must match name of class");
} else if (current_container.Kind != Kind.Class){
Report.Error (575, lt.Location, "Only class types can contain destructor");
} else {
Destructor d = new Destructor (current_class, (int) yyVals[-6+yyTop],
Parameters.EmptyReadOnlyParameters, (Attributes) yyVals[-7+yyTop], lt.Location);
if (RootContext.Documentation != null)
d.DocComment = ConsumeStoredComment ();
d.Block = (ToplevelBlock) yyVals[0+yyTop];
current_container.AddMethod (d);
}
current_local_parameters = null;
}
break;
case 291:
#line 2196 "cs-parser.jay"
{
current_array_type = null;
foreach (VariableMemberDeclaration var in (ArrayList) yyVals[-1+yyTop]) {
EventField e = new EventField (
current_class, (FullNamedExpression) yyVals[-2+yyTop], (int) yyVals[-4+yyTop], var.MemberName, (Attributes) yyVals[-5+yyTop]);
if (var.expression_or_array_initializer != null) {
if (current_container.Kind == Kind.Interface) {
Report.Error (68, e.Location, "`{0}': event in interface cannot have initializer", e.GetSignatureForError ());
}
e.Initializer = var.expression_or_array_initializer;
}
if (var.MemberName.Left != null) {
Report.Error (71, e.Location,
"`{0}': An explicit interface implementation of an event must use property syntax",
e.GetSignatureForError ());
}
current_container.AddEvent (e);
if (RootContext.Documentation != null) {
e.DocComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.Allowed;
}
}
}
break;
case 292:
#line 2229 "cs-parser.jay"
{
implicit_value_parameter_type = (FullNamedExpression) yyVals[-2+yyTop];
current_local_parameters = new Parameters (
new Parameter (implicit_value_parameter_type, "value",
Parameter.Modifier.NONE, null, GetLocation (yyVals[-3+yyTop])));
lexer.EventParsing = true;
}
break;
case 293:
#line 2238 "cs-parser.jay"
{
lexer.EventParsing = false;
}
break;
case 294:
#line 2242 "cs-parser.jay"
{
MemberName name = (MemberName) yyVals[-5+yyTop];
if (current_container.Kind == Kind.Interface) {
Report.Error (69, (Location) yyVals[-7+yyTop], "Event in interface cannot have add or remove accessors");
}
if (yyVals[-2+yyTop] == null){
Report.Error (65, (Location) yyVals[-7+yyTop], "`{0}.{1}': event property must have both add and remove accessors",
current_container.Name, name.GetSignatureForError ());
yyVal = null;
} else {
Accessors accessors = (Accessors) yyVals[-2+yyTop];
if (accessors.get_or_add == null || accessors.set_or_remove == null)
/* CS0073 is already reported, so no CS0065 here.*/
yyVal = null;
else {
Event e = new EventProperty (
current_class, (FullNamedExpression) yyVals[-6+yyTop], (int) yyVals[-8+yyTop], name,
(Attributes) yyVals[-9+yyTop], accessors.get_or_add, accessors.set_or_remove);
if (RootContext.Documentation != null) {
e.DocComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.Allowed;
}
current_container.AddEvent (e);
implicit_value_parameter_type = null;
}
}
current_local_parameters = null;
}
break;
case 295:
#line 2275 "cs-parser.jay"
{
MemberName mn = (MemberName) yyVals[-1+yyTop];
if (mn.Left != null)
Report.Error (71, mn.Location, "An explicit interface implementation of an event must use property syntax");
if (RootContext.Documentation != null)
Lexer.doc_state = XmlCommentState.Allowed;
Error_SyntaxError (yyToken);
yyVal = null;
}
break;
case 296:
#line 2290 "cs-parser.jay"
{
yyVal = new Accessors ((Accessor) yyVals[-1+yyTop], (Accessor) yyVals[0+yyTop]);
}
break;
case 297:
#line 2294 "cs-parser.jay"
{
Accessors accessors = new Accessors ((Accessor) yyVals[0+yyTop], (Accessor) yyVals[-1+yyTop]);
accessors.declared_in_reverse = true;
yyVal = accessors;
}
break;
case 298:
#line 2299 "cs-parser.jay"
{ yyVal = null; }
break;
case 299:
#line 2300 "cs-parser.jay"
{ yyVal = null; }
break;
case 300:
#line 2302 "cs-parser.jay"
{
Report.Error (1055, GetLocation (yyVals[0+yyTop]), "An add or remove accessor expected");
yyVal = null;
}
break;
case 301:
#line 2306 "cs-parser.jay"
{ yyVal = null; }
break;
case 302:
#line 2311 "cs-parser.jay"
{
lexer.EventParsing = false;
}
break;
case 303:
#line 2315 "cs-parser.jay"
{
Accessor accessor = new Accessor ((ToplevelBlock) yyVals[0+yyTop], 0, (Attributes) yyVals[-3+yyTop], null, (Location) yyVals[-2+yyTop]);
lexer.EventParsing = true;
yyVal = accessor;
}
break;
case 304:
#line 2320 "cs-parser.jay"
{
Report.Error (73, (Location) yyVals[-1+yyTop], "An add or remove accessor must have a body");
yyVal = null;
}
break;
case 305:
#line 2324 "cs-parser.jay"
{
Report.Error (1609, (Location) yyVals[0+yyTop], "Modifiers cannot be placed on event accessor declarations");
yyVal = null;
}
break;
case 306:
#line 2332 "cs-parser.jay"
{
lexer.EventParsing = false;
}
break;
case 307:
#line 2336 "cs-parser.jay"
{
yyVal = new Accessor ((ToplevelBlock) yyVals[0+yyTop], 0, (Attributes) yyVals[-3+yyTop], null, (Location) yyVals[-2+yyTop]);
lexer.EventParsing = true;
}
break;
case 308:
#line 2340 "cs-parser.jay"
{
Report.Error (73, (Location) yyVals[-1+yyTop], "An add or remove accessor must have a body");
yyVal = null;
}
break;
case 309:
#line 2344 "cs-parser.jay"
{
Report.Error (1609, (Location) yyVals[0+yyTop], "Modifiers cannot be placed on event accessor declarations");
yyVal = null;
}
break;
case 310:
#line 2354 "cs-parser.jay"
{
implicit_value_parameter_type = (FullNamedExpression) yyVals[-5+yyTop];
indexer_parameters = (Parameters) yyVals[-2+yyTop];
if (indexer_parameters.IsEmpty)
Report.Error (1551, GetLocation (yyVals[-3+yyTop]), "Indexers must have at least one parameter");
if (RootContext.Documentation != null) {
tmpComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.Allowed;
}
lexer.PropertyParsing = true;
parsing_indexer = true;
}
break;
case 311:
#line 2371 "cs-parser.jay"
{
lexer.PropertyParsing = false;
has_get = has_set = false;
parsing_indexer = false;
}
break;
case 312:
#line 2377 "cs-parser.jay"
{
Accessors accessors = (Accessors) yyVals[-2+yyTop];
Accessor get_block = accessors != null ? accessors.get_or_add : null;
Accessor set_block = accessors != null ? accessors.set_or_remove : null;
bool order = accessors != null ? accessors.declared_in_reverse : false;
Indexer indexer = new Indexer (current_class, (FullNamedExpression) yyVals[-9+yyTop],
(MemberName)yyVals[-8+yyTop], (int) yyVals[-10+yyTop], (Parameters) yyVals[-6+yyTop], (Attributes) yyVals[-11+yyTop],
get_block, set_block, order);
if (yyVals[-9+yyTop] == TypeManager.system_void_expr)
Report.Error (620, GetLocation (yyVals[-9+yyTop]), "`{0}': indexer return type cannot be `void'", indexer.GetSignatureForError ());
if (accessors == null)
Report.Error (548, indexer.Location, "`{0}': property or indexer must have at least one accessor", indexer.GetSignatureForError ());
if (current_container.Kind == Kind.Interface) {
if (indexer.Get.Block != null)
Report.Error (531, indexer.Location, "`{0}.get': interface members cannot have a definition", indexer.GetSignatureForError ());
if (indexer.Set.Block != null)
Report.Error (531, indexer.Location, "`{0}.set': interface members cannot have a definition", indexer.GetSignatureForError ());
}
if (RootContext.Documentation != null)
indexer.DocComment = ConsumeStoredComment ();
current_container.AddIndexer (indexer);
current_local_parameters = null;
implicit_value_parameter_type = null;
indexer_parameters = null;
}
break;
case 313:
#line 2416 "cs-parser.jay"
{
if (RootContext.Documentation != null)
enumTypeComment = Lexer.consume_doc_comment ();
}
break;
case 314:
#line 2422 "cs-parser.jay"
{
MemberName name = (MemberName) yyVals[-4+yyTop];
if (name.IsGeneric) {
Report.Error (1675, name.Location, "Enums cannot have type parameters");
}
name = MakeName (name);
Enum e = new Enum (current_namespace, current_class, (TypeExpr) yyVals[-3+yyTop], (int) yyVals[-6+yyTop],
name, (Attributes) yyVals[-7+yyTop]);
if (RootContext.Documentation != null)
e.DocComment = enumTypeComment;
EnumMember em = null;
foreach (VariableDeclaration ev in (ArrayList) yyVals[-1+yyTop]) {
em = new EnumMember (
e, em, ev.identifier, (Expression) ev.expression_or_array_initializer,
ev.OptAttributes, ev.Location);
/* if (RootContext.Documentation != null)*/
em.DocComment = ev.DocComment;
e.AddEnumMember (em);
}
if (RootContext.EvalMode)
undo.AddTypeContainer (current_container, e);
current_container.AddTypeContainer (e);
yyVal = e;
}
break;
case 315:
#line 2458 "cs-parser.jay"
{ yyVal = TypeManager.system_int32_expr; }
break;
case 316:
#line 2460 "cs-parser.jay"
{
if (yyVals[0+yyTop] != TypeManager.system_int32_expr && yyVals[0+yyTop] != TypeManager.system_uint32_expr &&
yyVals[0+yyTop] != TypeManager.system_int64_expr && yyVals[0+yyTop] != TypeManager.system_uint64_expr &&
yyVals[0+yyTop] != TypeManager.system_int16_expr && yyVals[0+yyTop] != TypeManager.system_uint16_expr &&
yyVals[0+yyTop] != TypeManager.system_byte_expr && yyVals[0+yyTop] != TypeManager.system_sbyte_expr)
Enum.Error_1008 (GetLocation (yyVals[0+yyTop]));
yyVal = yyVals[0+yyTop];
}
break;
case 317:
#line 2470 "cs-parser.jay"
{
Error_TypeExpected (lexer.Location);
}
break;
case 318:
#line 2477 "cs-parser.jay"
{
if (RootContext.Documentation != null)
Lexer.doc_state = XmlCommentState.Allowed;
}
break;
case 319:
#line 2482 "cs-parser.jay"
{
/* here will be evaluated after CLOSE_BLACE is consumed.*/
if (RootContext.Documentation != null)
Lexer.doc_state = XmlCommentState.Allowed;
}
break;
case 320:
#line 2488 "cs-parser.jay"
{
yyVal = yyVals[-2+yyTop];
}
break;
case 321:
#line 2494 "cs-parser.jay"
{ yyVal = new ArrayList (4); }
break;
case 322:
#line 2495 "cs-parser.jay"
{ yyVal = yyVals[-1+yyTop]; }
break;
case 323:
#line 2500 "cs-parser.jay"
{
ArrayList l = new ArrayList (4);
l.Add (yyVals[0+yyTop]);
yyVal = l;
}
break;
case 324:
#line 2507 "cs-parser.jay"
{
ArrayList l = (ArrayList) yyVals[-2+yyTop];
l.Add (yyVals[0+yyTop]);
yyVal = l;
}
break;
case 325:
#line 2518 "cs-parser.jay"
{
VariableDeclaration vd = new VariableDeclaration (
(LocatedToken) yyVals[0+yyTop], null, (Attributes) yyVals[-1+yyTop]);
if (RootContext.Documentation != null) {
vd.DocComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.Allowed;
}
yyVal = vd;
}
break;
case 326:
#line 2530 "cs-parser.jay"
{
++lexer.parsing_block;
if (RootContext.Documentation != null) {
tmpComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.NotAllowed;
}
}
break;
case 327:
#line 2538 "cs-parser.jay"
{
--lexer.parsing_block;
VariableDeclaration vd = new VariableDeclaration (
(LocatedToken) yyVals[-3+yyTop], yyVals[0+yyTop], (Attributes) yyVals[-4+yyTop]);
if (RootContext.Documentation != null)
vd.DocComment = ConsumeStoredComment ();
yyVal = vd;
}
break;
case 328:
#line 2556 "cs-parser.jay"
{
MemberName name = MakeName ((MemberName) yyVals[-3+yyTop]);
Parameters p = (Parameters) yyVals[-1+yyTop];
Delegate del = new Delegate (current_namespace, current_class, (FullNamedExpression) yyVals[-4+yyTop],
(int) yyVals[-6+yyTop], name, p, (Attributes) yyVals[-7+yyTop]);
if (RootContext.Documentation != null) {
del.DocComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.Allowed;
}
current_container.AddDelegate (del);
current_delegate = del;
lexer.ConstraintsParsing = true;
}
break;
case 329:
#line 2573 "cs-parser.jay"
{
lexer.ConstraintsParsing = false;
}
break;
case 330:
#line 2577 "cs-parser.jay"
{
current_delegate.SetParameterInfo ((ArrayList) yyVals[-2+yyTop]);
yyVal = current_delegate;
current_delegate = null;
}
break;
case 331:
#line 2587 "cs-parser.jay"
{
yyVal = null;
}
break;
case 332:
#line 2591 "cs-parser.jay"
{
if (RootContext.Version < LanguageVersion.ISO_2)
Report.FeatureIsNotAvailable (lexer.Location, "nullable types");
yyVal = this;
}
break;
case 334:
#line 2602 "cs-parser.jay"
{
LocatedToken lt1 = (LocatedToken) yyVals[-2+yyTop];
LocatedToken lt2 = (LocatedToken) yyVals[-1+yyTop];
yyVal = new MemberName (lt1.Value, lt2.Value, (TypeArguments) yyVals[0+yyTop], lt1.Location);
}
break;
case 336:
#line 2613 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
yyVal = new MemberName ((MemberName) yyVals[-3+yyTop], lt.Value, (TypeArguments) yyVals[0+yyTop], lt.Location);
}
break;
case 337:
#line 2621 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
yyVal = new MemberName (lt.Value, (TypeArguments)yyVals[0+yyTop], lt.Location);
}
break;
case 338:
#line 2631 "cs-parser.jay"
{ yyVal = null; }
break;
case 339:
#line 2633 "cs-parser.jay"
{
if (RootContext.Version < LanguageVersion.ISO_2)
Report.FeatureIsNotAvailable (GetLocation (yyVals[-2+yyTop]), "generics");
yyVal = yyVals[-1+yyTop];
}
break;
case 340:
#line 2640 "cs-parser.jay"
{
Error_TypeExpected (lexer.Location);
yyVal = new TypeArguments ();
}
break;
case 341:
#line 2648 "cs-parser.jay"
{
TypeArguments type_args = new TypeArguments ();
type_args.Add ((FullNamedExpression) yyVals[0+yyTop]);
yyVal = type_args;
}
break;
case 342:
#line 2654 "cs-parser.jay"
{
TypeArguments type_args = (TypeArguments) yyVals[-2+yyTop];
type_args.Add ((FullNamedExpression) yyVals[0+yyTop]);
yyVal = type_args;
}
break;
case 343:
#line 2666 "cs-parser.jay"
{
lexer.parsing_generic_declaration = true;
}
break;
case 344:
#line 2670 "cs-parser.jay"
{
lexer.parsing_generic_declaration = false;
LocatedToken lt = (LocatedToken) yyVals[-2+yyTop];
yyVal = new MemberName (lt.Value, (TypeArguments)yyVals[0+yyTop], lt.Location);
}
break;
case 345:
#line 2679 "cs-parser.jay"
{
MemberName mn = (MemberName)yyVals[0+yyTop];
if (mn.TypeArguments != null)
syntax_error (mn.Location, string.Format ("Member `{0}' cannot declare type arguments",
mn.GetSignatureForError ()));
}
break;
case 347:
#line 2690 "cs-parser.jay"
{
lexer.parsing_generic_declaration = false;
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
yyVal = new MemberName ((MemberName) yyVals[-2+yyTop], lt.Value, (TypeArguments) yyVals[0+yyTop], lt.Location);
}
break;
case 348:
#line 2699 "cs-parser.jay"
{
lexer.parsing_generic_declaration = false;
yyVal = new MemberName (TypeContainer.DefaultIndexerName, GetLocation (yyVals[0+yyTop]));
}
break;
case 349:
#line 2704 "cs-parser.jay"
{
lexer.parsing_generic_declaration = false;
yyVal = new MemberName ((MemberName) yyVals[-1+yyTop], TypeContainer.DefaultIndexerName, null, GetLocation (yyVals[-1+yyTop]));
}
break;
case 350:
#line 2712 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-2+yyTop];
yyVal = new MemberName (lt.Value, (TypeArguments) yyVals[-1+yyTop], lt.Location);
}
break;
case 351:
#line 2717 "cs-parser.jay"
{
LocatedToken lt1 = (LocatedToken) yyVals[-3+yyTop];
LocatedToken lt2 = (LocatedToken) yyVals[-2+yyTop];
yyVal = new MemberName (lt1.Value, lt2.Value, (TypeArguments) yyVals[-1+yyTop], lt1.Location);
}
break;
case 352:
#line 2724 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-2+yyTop];
yyVal = new MemberName ((MemberName) yyVals[-3+yyTop], lt.Value, (TypeArguments) yyVals[-1+yyTop], lt.Location);
}
break;
case 353:
#line 2731 "cs-parser.jay"
{ yyVal = null; }
break;
case 354:
#line 2733 "cs-parser.jay"
{
if (RootContext.Version < LanguageVersion.ISO_2)
Report.FeatureIsNotAvailable (GetLocation (yyVals[-2+yyTop]), "generics");
yyVal = yyVals[-1+yyTop];
}
break;
case 355:
#line 2743 "cs-parser.jay"
{
TypeArguments type_args = new TypeArguments ();
type_args.Add ((FullNamedExpression)yyVals[0+yyTop]);
yyVal = type_args;
}
break;
case 356:
#line 2749 "cs-parser.jay"
{
TypeArguments type_args = (TypeArguments) yyVals[-2+yyTop];
type_args.Add ((FullNamedExpression)yyVals[0+yyTop]);
yyVal = type_args;
}
break;
case 357:
#line 2758 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken)yyVals[0+yyTop];
yyVal = new TypeParameterName (lt.Value, (Attributes)yyVals[-1+yyTop], lt.Location);
}
break;
case 358:
#line 2763 "cs-parser.jay"
{
if (GetTokenName (yyToken) == "type")
Report.Error (81, GetLocation (yyVals[0+yyTop]), "Type parameter declaration must be an identifier not a type");
else
Error_SyntaxError (yyToken);
yyVal = new TypeParameterName ("", null, lexer.Location);
}
break;
case 360:
#line 2779 "cs-parser.jay"
{
yyVal = TypeManager.system_void_expr;
}
break;
case 361:
#line 2786 "cs-parser.jay"
{
lexer.parsing_generic_declaration = true;
}
break;
case 363:
#line 2797 "cs-parser.jay"
{
Expression.Error_VoidInvalidInTheContext (lexer.Location);
yyVal = TypeManager.system_void_expr;
}
break;
case 365:
#line 2806 "cs-parser.jay"
{
Expression.Error_VoidInvalidInTheContext (lexer.Location);
yyVal = TypeManager.system_void_expr;
}
break;
case 367:
#line 2815 "cs-parser.jay"
{
string rank_specifiers = (string) yyVals[0+yyTop];
yyVal = current_array_type = new ComposedCast ((FullNamedExpression) yyVals[-1+yyTop], rank_specifiers);
}
break;
case 368:
#line 2823 "cs-parser.jay"
{
MemberName name = (MemberName) yyVals[-1+yyTop];
if (yyVals[0+yyTop] != null) {
yyVal = new ComposedCast (name.GetTypeExpression (), "?", lexer.Location);
} else {
if (name.Left == null && name.Name == "var" &&
(RootContext.Version > LanguageVersion.ISO_2 || RootContext.Version == LanguageVersion.Default_MCS))
yyVal = current_array_type = new VarExpr (name.Location);
else
yyVal = name.GetTypeExpression ();
}
}
break;
case 369:
#line 2837 "cs-parser.jay"
{
if (yyVals[0+yyTop] != null)
yyVal = new ComposedCast ((FullNamedExpression) yyVals[-1+yyTop], "?", lexer.Location);
}
break;
case 370:
#line 2842 "cs-parser.jay"
{
/**/
/* Note that here only unmanaged types are allowed but we*/
/* can't perform checks during this phase - we do it during*/
/* semantic analysis.*/
/**/
yyVal = new ComposedCast ((FullNamedExpression) yyVals[-1+yyTop], "*", Lexer.Location);
}
break;
case 371:
#line 2851 "cs-parser.jay"
{
yyVal = new ComposedCast (TypeManager.system_void_expr, "*", (Location) yyVals[-1+yyTop]);
}
break;
case 372:
#line 2858 "cs-parser.jay"
{
ArrayList types = new ArrayList (2);
types.Add (yyVals[0+yyTop]);
yyVal = types;
}
break;
case 373:
#line 2864 "cs-parser.jay"
{
ArrayList types = (ArrayList) yyVals[-2+yyTop];
types.Add (yyVals[0+yyTop]);
yyVal = types;
}
break;
case 374:
#line 2873 "cs-parser.jay"
{
if (yyVals[0+yyTop] is ComposedCast)
Report.Error (1521, GetLocation (yyVals[0+yyTop]), "Invalid base type `{0}'", ((ComposedCast)yyVals[0+yyTop]).GetSignatureForError ());
yyVal = yyVals[0+yyTop];
}
break;
case 375:
#line 2879 "cs-parser.jay"
{
Error_TypeExpected (lexer.Location);
}
break;
case 376:
#line 2889 "cs-parser.jay"
{ yyVal = TypeManager.system_object_expr; }
break;
case 377:
#line 2890 "cs-parser.jay"
{ yyVal = TypeManager.system_string_expr; }
break;
case 378:
#line 2891 "cs-parser.jay"
{ yyVal = TypeManager.system_boolean_expr; }
break;
case 379:
#line 2892 "cs-parser.jay"
{ yyVal = TypeManager.system_decimal_expr; }
break;
case 380:
#line 2893 "cs-parser.jay"
{ yyVal = TypeManager.system_single_expr; }
break;
case 381:
#line 2894 "cs-parser.jay"
{ yyVal = TypeManager.system_double_expr; }
break;
case 383:
#line 2899 "cs-parser.jay"
{ yyVal = TypeManager.system_sbyte_expr; }
break;
case 384:
#line 2900 "cs-parser.jay"
{ yyVal = TypeManager.system_byte_expr; }
break;
case 385:
#line 2901 "cs-parser.jay"
{ yyVal = TypeManager.system_int16_expr; }
break;
case 386:
#line 2902 "cs-parser.jay"
{ yyVal = TypeManager.system_uint16_expr; }
break;
case 387:
#line 2903 "cs-parser.jay"
{ yyVal = TypeManager.system_int32_expr; }
break;
case 388:
#line 2904 "cs-parser.jay"
{ yyVal = TypeManager.system_uint32_expr; }
break;
case 389:
#line 2905 "cs-parser.jay"
{ yyVal = TypeManager.system_int64_expr; }
break;
case 390:
#line 2906 "cs-parser.jay"
{ yyVal = TypeManager.system_uint64_expr; }
break;
case 391:
#line 2907 "cs-parser.jay"
{ yyVal = TypeManager.system_char_expr; }
break;
case 393:
#line 2913 "cs-parser.jay"
{
yyVal = TypeManager.system_void_expr;
}
break;
case 397:
#line 2931 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
yyVal = new SimpleName (MemberName.MakeName (lt.Value, (TypeArguments)yyVals[0+yyTop]), (TypeArguments)yyVals[0+yyTop], lt.Location);
}
break;
case 418:
#line 2958 "cs-parser.jay"
{ yyVal = new CharLiteral ((char) lexer.Value, lexer.Location); }
break;
case 419:
#line 2959 "cs-parser.jay"
{ yyVal = new StringLiteral ((string) lexer.Value, lexer.Location); }
break;
case 420:
#line 2960 "cs-parser.jay"
{ yyVal = new NullLiteral (lexer.Location); }
break;
case 421:
#line 2964 "cs-parser.jay"
{ yyVal = new FloatLiteral ((float) lexer.Value, lexer.Location); }
break;
case 422:
#line 2965 "cs-parser.jay"
{ yyVal = new DoubleLiteral ((double) lexer.Value, lexer.Location); }
break;
case 423:
#line 2966 "cs-parser.jay"
{ yyVal = new DecimalLiteral ((decimal) lexer.Value, lexer.Location); }
break;
case 424:
#line 2970 "cs-parser.jay"
{
object v = lexer.Value;
if (v is int){
yyVal = new IntLiteral ((int) v, lexer.Location);
} else if (v is uint)
yyVal = new UIntLiteral ((UInt32) v, lexer.Location);
else if (v is long)
yyVal = new LongLiteral ((Int64) v, lexer.Location);
else if (v is ulong)
yyVal = new ULongLiteral ((UInt64) v, lexer.Location);
else
Console.WriteLine ("OOPS. Unexpected result from scanner");
}
break;
case 425:
#line 2987 "cs-parser.jay"
{ yyVal = new BoolLiteral (true, lexer.Location); }
break;
case 426:
#line 2988 "cs-parser.jay"
{ yyVal = new BoolLiteral (false, lexer.Location); }
break;
case 430:
#line 3005 "cs-parser.jay"
{
yyVal = new ParenthesizedExpression ((Expression) yyVals[-1+yyTop]);
}
break;
case 431:
#line 3012 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
yyVal = new MemberAccess ((Expression) yyVals[-3+yyTop], lt.Value, (TypeArguments) yyVals[0+yyTop], lt.Location);
}
break;
case 432:
#line 3017 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
/* TODO: Location is wrong as some predefined types doesn't hold a location*/
yyVal = new MemberAccess ((Expression) yyVals[-3+yyTop], lt.Value, (TypeArguments) yyVals[0+yyTop], lt.Location);
}
break;
case 433:
#line 3023 "cs-parser.jay"
{
LocatedToken lt1 = (LocatedToken) yyVals[-2+yyTop];
LocatedToken lt2 = (LocatedToken) yyVals[-1+yyTop];
yyVal = new QualifiedAliasMember (lt1.Value, lt2.Value, (TypeArguments) yyVals[0+yyTop], lt1.Location);
}
break;
case 434:
#line 3033 "cs-parser.jay"
{
yyVal = new Invocation ((Expression) yyVals[-3+yyTop], (ArrayList) yyVals[-1+yyTop]);
}
break;
case 435:
#line 3039 "cs-parser.jay"
{ yyVal = null; }
break;
case 437:
#line 3045 "cs-parser.jay"
{
if (yyVals[-1+yyTop] == null)
yyVal = CollectionOrObjectInitializers.Empty;
else
yyVal = new CollectionOrObjectInitializers ((ArrayList) yyVals[-1+yyTop], GetLocation (yyVals[-2+yyTop]));
}
break;
case 438:
#line 3052 "cs-parser.jay"
{
yyVal = new CollectionOrObjectInitializers ((ArrayList) yyVals[-2+yyTop], GetLocation (yyVals[-3+yyTop]));
}
break;
case 439:
#line 3058 "cs-parser.jay"
{ yyVal = null; }
break;
case 440:
#line 3060 "cs-parser.jay"
{
yyVal = yyVals[0+yyTop];
}
break;
case 441:
#line 3067 "cs-parser.jay"
{
ArrayList a = new ArrayList ();
a.Add (yyVals[0+yyTop]);
yyVal = a;
}
break;
case 442:
#line 3073 "cs-parser.jay"
{
ArrayList a = (ArrayList)yyVals[-2+yyTop];
a.Add (yyVals[0+yyTop]);
yyVal = a;
}
break;
case 443:
#line 3082 "cs-parser.jay"
{
LocatedToken lt = yyVals[-2+yyTop] as LocatedToken;
yyVal = new ElementInitializer (lt.Value, (Expression)yyVals[0+yyTop], lt.Location);
}
break;
case 444:
#line 3087 "cs-parser.jay"
{
yyVal = new CollectionElementInitializer ((Expression)yyVals[0+yyTop]);
}
break;
case 445:
#line 3091 "cs-parser.jay"
{
yyVal = new CollectionElementInitializer ((ArrayList)yyVals[-1+yyTop], GetLocation (yyVals[-2+yyTop]));
}
break;
case 446:
#line 3095 "cs-parser.jay"
{
Report.Error (1920, GetLocation (yyVals[-1+yyTop]), "An element initializer cannot be empty");
}
break;
case 449:
#line 3106 "cs-parser.jay"
{ yyVal = null; }
break;
case 451:
#line 3112 "cs-parser.jay"
{
ArrayList list = new ArrayList (4);
list.Add (yyVals[0+yyTop]);
yyVal = list;
}
break;
case 452:
#line 3118 "cs-parser.jay"
{
ArrayList list = (ArrayList) yyVals[-2+yyTop];
list.Add (yyVals[0+yyTop]);
yyVal = list;
}
break;
case 453:
#line 3124 "cs-parser.jay"
{
Report.Error (839, GetLocation (yyVals[0+yyTop]), "An argument is missing");
yyVal = null;
}
break;
case 454:
#line 3129 "cs-parser.jay"
{
Report.Error (839, GetLocation (yyVals[-1+yyTop]), "An argument is missing");
yyVal = null;
}
break;
case 455:
#line 3137 "cs-parser.jay"
{
yyVal = new Argument ((Expression) yyVals[0+yyTop], Argument.AType.Expression);
}
break;
case 456:
#line 3141 "cs-parser.jay"
{
yyVal = yyVals[0+yyTop];
}
break;
case 457:
#line 3148 "cs-parser.jay"
{
yyVal = new Argument ((Expression) yyVals[0+yyTop], Argument.AType.Ref);
}
break;
case 458:
#line 3152 "cs-parser.jay"
{
yyVal = new Argument ((Expression) yyVals[0+yyTop], Argument.AType.Out);
}
break;
case 459:
#line 3156 "cs-parser.jay"
{
ArrayList list = (ArrayList) yyVals[-1+yyTop];
Argument[] args = new Argument [list.Count];
list.CopyTo (args, 0);
Expression expr = new Arglist (args, (Location) yyVals[-3+yyTop]);
yyVal = new Argument (expr, Argument.AType.Expression);
}
break;
case 460:
#line 3165 "cs-parser.jay"
{
yyVal = new Argument (new Arglist ((Location) yyVals[-2+yyTop]), Argument.AType.Expression);
}
break;
case 461:
#line 3169 "cs-parser.jay"
{
yyVal = new Argument (new ArglistAccess ((Location) yyVals[0+yyTop]), Argument.AType.ArgList);
}
break;
case 462:
#line 3175 "cs-parser.jay"
{ note ("section 5.4"); yyVal = yyVals[0+yyTop]; }
break;
case 463:
#line 3180 "cs-parser.jay"
{
yyVal = new ElementAccess ((Expression) yyVals[-3+yyTop], (ArrayList) yyVals[-1+yyTop]);
}
break;
case 464:
#line 3184 "cs-parser.jay"
{
/* LAMESPEC: Not allowed according to specification*/
yyVal = new ElementAccess ((Expression) yyVals[-3+yyTop], (ArrayList) yyVals[-1+yyTop]);
}
break;
case 465:
#line 3189 "cs-parser.jay"
{
/* So the super-trick is that primary_expression*/
/* can only be either a SimpleName or a MemberAccess. */
/* The MemberAccess case arises when you have a fully qualified type-name like :*/
/* Foo.Bar.Blah i;*/
/* SimpleName is when you have*/
/* Blah i;*/
Expression expr = (Expression) yyVals[-1+yyTop];
if (expr is ComposedCast){
yyVal = new ComposedCast ((ComposedCast)expr, (string) yyVals[0+yyTop]);
} else if (expr is ATypeNameExpression){
/**/
/* So we extract the string corresponding to the SimpleName*/
/* or MemberAccess*/
/* */
yyVal = new ComposedCast ((ATypeNameExpression)expr, (string) yyVals[0+yyTop]);
} else {
Error_ExpectingTypeName (expr);
yyVal = TypeManager.system_object_expr;
}
current_array_type = (FullNamedExpression)yyVal;
}
break;
case 466:
#line 3217 "cs-parser.jay"
{
ArrayList list = new ArrayList (4);
list.Add (yyVals[0+yyTop]);
yyVal = list;
}
break;
case 467:
#line 3223 "cs-parser.jay"
{
ArrayList list = (ArrayList) yyVals[-2+yyTop];
list.Add (yyVals[0+yyTop]);
yyVal = list;
}
break;
case 468:
#line 3232 "cs-parser.jay"
{
yyVal = new This (current_block, (Location) yyVals[0+yyTop]);
}
break;
case 469:
#line 3239 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
yyVal = new BaseAccess (lt.Value, (TypeArguments) yyVals[0+yyTop], lt.Location);
}
break;
case 470:
#line 3244 "cs-parser.jay"
{
yyVal = new BaseIndexerAccess ((ArrayList) yyVals[-1+yyTop], (Location) yyVals[-3+yyTop]);
}
break;
case 471:
#line 3247 "cs-parser.jay"
{
Report.Error (175, (Location) yyVals[-1+yyTop], "Use of keyword `base' is not valid in this context");
yyVal = null;
}
break;
case 472:
#line 3255 "cs-parser.jay"
{
yyVal = new UnaryMutator (UnaryMutator.Mode.PostIncrement, (Expression) yyVals[-1+yyTop]);
}
break;
case 473:
#line 3262 "cs-parser.jay"
{
yyVal = new UnaryMutator (UnaryMutator.Mode.PostDecrement, (Expression) yyVals[-1+yyTop]);
}
break;
case 474:
#line 3269 "cs-parser.jay"
{
if (yyVals[0+yyTop] != null) {
if (RootContext.Version <= LanguageVersion.ISO_2)
Report.FeatureIsNotAvailable (GetLocation (yyVals[-5+yyTop]), "object initializers");
yyVal = new NewInitialize ((Expression) yyVals[-4+yyTop], (ArrayList) yyVals[-2+yyTop], (CollectionOrObjectInitializers) yyVals[0+yyTop], (Location) yyVals[-5+yyTop]);
}
else
yyVal = new New ((Expression) yyVals[-4+yyTop], (ArrayList) yyVals[-2+yyTop], (Location) yyVals[-5+yyTop]);
}
break;
case 475:
#line 3280 "cs-parser.jay"
{
if (RootContext.Version <= LanguageVersion.ISO_2)
Report.FeatureIsNotAvailable (GetLocation (yyVals[-2+yyTop]), "collection initializers");
yyVal = new NewInitialize ((Expression) yyVals[-1+yyTop], null, (CollectionOrObjectInitializers) yyVals[0+yyTop], (Location) yyVals[-2+yyTop]);
}
break;
case 476:
#line 3293 "cs-parser.jay"
{
yyVal = new ArrayCreation ((FullNamedExpression) yyVals[-5+yyTop], (ArrayList) yyVals[-3+yyTop], (string) yyVals[-1+yyTop], (ArrayList) yyVals[0+yyTop], (Location) yyVals[-6+yyTop]);
}
break;
case 477:
#line 3297 "cs-parser.jay"
{
if (yyVals[0+yyTop] == null)
Report.Error (1586, GetLocation (yyVals[-3+yyTop]), "Array creation must have array size or array initializer");
yyVal = new ArrayCreation ((FullNamedExpression) yyVals[-2+yyTop], (string) yyVals[-1+yyTop], (ArrayList) yyVals[0+yyTop], (Location) yyVals[-3+yyTop]);
}
break;
case 478:
#line 3304 "cs-parser.jay"
{
yyVal = new ImplicitlyTypedArrayCreation ((string) yyVals[-1+yyTop], (ArrayList) yyVals[0+yyTop], (Location) yyVals[-2+yyTop]);
}
break;
case 479:
#line 3308 "cs-parser.jay"
{
Report.Error (1526, (Location) yyVals[-2+yyTop], "A new expression requires () or [] after type");
yyVal = null;
}
break;
case 480:
#line 3316 "cs-parser.jay"
{
if (RootContext.Version <= LanguageVersion.ISO_2)
Report.FeatureIsNotAvailable (GetLocation (yyVals[-3+yyTop]), "anonymous types");
yyVal = new AnonymousTypeDeclaration ((ArrayList) yyVals[-1+yyTop], current_container, GetLocation (yyVals[-3+yyTop]));
}
break;
case 483:
#line 3330 "cs-parser.jay"
{ yyVal = null; }
break;
case 485:
#line 3336 "cs-parser.jay"
{
ArrayList a = new ArrayList (4);
a.Add (yyVals[0+yyTop]);
yyVal = a;
}
break;
case 486:
#line 3342 "cs-parser.jay"
{
ArrayList a = (ArrayList) yyVals[-2+yyTop];
a.Add (yyVals[0+yyTop]);
yyVal = a;
}
break;
case 487:
#line 3351 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken)yyVals[-2+yyTop];
yyVal = new AnonymousTypeParameter ((Expression)yyVals[0+yyTop], lt.Value, lt.Location);
}
break;
case 488:
#line 3356 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken)yyVals[0+yyTop];
yyVal = new AnonymousTypeParameter (new SimpleName (lt.Value, lt.Location),
lt.Value, lt.Location);
}
break;
case 489:
#line 3362 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
BaseAccess ba = new BaseAccess (lt.Value, (TypeArguments) yyVals[0+yyTop], lt.Location);
yyVal = new AnonymousTypeParameter (ba, lt.Value, lt.Location);
}
break;
case 490:
#line 3368 "cs-parser.jay"
{
MemberAccess ma = (MemberAccess) yyVals[0+yyTop];
yyVal = new AnonymousTypeParameter (ma, ma.Name, ma.Location);
}
break;
case 491:
#line 3373 "cs-parser.jay"
{
Report.Error (746, lexer.Location, "Invalid anonymous type member declarator. " +
"Anonymous type members must be a member assignment, simple name or member access expression");
}
break;
case 492:
#line 3381 "cs-parser.jay"
{
yyVal = "";
}
break;
case 493:
#line 3385 "cs-parser.jay"
{
yyVal = yyVals[0+yyTop];
}
break;
case 494:
#line 3392 "cs-parser.jay"
{
if (yyVals[0+yyTop] != null)
yyVal = "?";
else
yyVal = string.Empty;
}
break;
case 495:
#line 3399 "cs-parser.jay"
{
if (yyVals[-1+yyTop] != null)
yyVal = "?" + (string) yyVals[0+yyTop];
else
yyVal = yyVals[0+yyTop];
}
break;
case 497:
#line 3410 "cs-parser.jay"
{
yyVal = (string) yyVals[0+yyTop] + (string) yyVals[-1+yyTop];
}
break;
case 498:
#line 3417 "cs-parser.jay"
{
yyVal = "[]";
}
break;
case 499:
#line 3421 "cs-parser.jay"
{
yyVal = "[" + (string) yyVals[-1+yyTop] + "]";
}
break;
case 500:
#line 3425 "cs-parser.jay"
{
ArrayCreation.Error_IncorrectArrayInitializer (GetLocation (yyVals[-2+yyTop]));
yyVal = "[]";
}
break;
case 501:
#line 3433 "cs-parser.jay"
{
yyVal = ",";
}
break;
case 502:
#line 3437 "cs-parser.jay"
{
yyVal = (string) yyVals[-1+yyTop] + ",";
}
break;
case 503:
#line 3444 "cs-parser.jay"
{
yyVal = null;
}
break;
case 504:
#line 3448 "cs-parser.jay"
{
yyVal = yyVals[0+yyTop];
}
break;
case 505:
#line 3455 "cs-parser.jay"
{
ArrayList list = new ArrayList (4);
yyVal = list;
}
break;
case 506:
#line 3460 "cs-parser.jay"
{
yyVal = (ArrayList) yyVals[-2+yyTop];
}
break;
case 507:
#line 3467 "cs-parser.jay"
{
ArrayList list = new ArrayList (4);
list.Add (yyVals[0+yyTop]);
yyVal = list;
}
break;
case 508:
#line 3473 "cs-parser.jay"
{
ArrayList list = (ArrayList) yyVals[-2+yyTop];
list.Add (yyVals[0+yyTop]);
yyVal = list;
}
break;
case 509:
#line 3479 "cs-parser.jay"
{
Error_SyntaxError (yyToken);
yyVal = new ArrayList ();
}
break;
case 510:
#line 3487 "cs-parser.jay"
{
pushed_current_array_type = current_array_type;
lexer.TypeOfParsing = true;
}
break;
case 511:
#line 3492 "cs-parser.jay"
{
lexer.TypeOfParsing = false;
Expression type = (Expression)yyVals[-1+yyTop];
if (type == TypeManager.system_void_expr)
yyVal = new TypeOfVoid ((Location) yyVals[-4+yyTop]);
else
yyVal = new TypeOf (type, (Location) yyVals[-4+yyTop]);
current_array_type = pushed_current_array_type;
}
break;
case 514:
#line 3507 "cs-parser.jay"
{
Error_TypeExpected (lexer.Location);
yyVal = null;
}
break;
case 515:
#line 3515 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
yyVal = new SimpleName (MemberName.MakeName (lt.Value, (int)yyVals[0+yyTop]), lt.Location);
}
break;
case 516:
#line 3521 "cs-parser.jay"
{
LocatedToken lt1 = (LocatedToken) yyVals[-2+yyTop];
LocatedToken lt2 = (LocatedToken) yyVals[-1+yyTop];
yyVal = new QualifiedAliasMember (lt1.Value, MemberName.MakeName (lt2.Value, (int) yyVals[0+yyTop]), lt1.Location);
}
break;
case 517:
#line 3528 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[0+yyTop];
yyVal = new MemberAccess ((Expression) yyVals[-2+yyTop], lt.Value, lt.Location);
}
break;
case 518:
#line 3534 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
yyVal = new MemberAccess ((Expression) yyVals[-3+yyTop], MemberName.MakeName (lt.Value, (int) yyVals[0+yyTop]), lt.Location);
}
break;
case 519:
#line 3540 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
MemberName name = (MemberName) yyVals[-3+yyTop];
yyVal = new MemberAccess (name.GetTypeExpression (), MemberName.MakeName (lt.Value, (int) yyVals[0+yyTop]), lt.Location);
}
break;
case 520:
#line 3550 "cs-parser.jay"
{
if (RootContext.Version < LanguageVersion.ISO_2)
Report.FeatureIsNotAvailable (lexer.Location, "generics");
yyVal = yyVals[0+yyTop];
}
break;
case 521:
#line 3560 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
if (RootContext.Version == LanguageVersion.ISO_1)
Report.FeatureIsNotAvailable (lt.Location, "namespace alias qualifier");
yyVal = lt;
}
break;
case 522:
#line 3570 "cs-parser.jay"
{
yyVal = new SizeOf ((Expression) yyVals[-1+yyTop], (Location) yyVals[-3+yyTop]);
}
break;
case 523:
#line 3577 "cs-parser.jay"
{
yyVal = new CheckedExpr ((Expression) yyVals[-1+yyTop], (Location) yyVals[-3+yyTop]);
}
break;
case 524:
#line 3584 "cs-parser.jay"
{
yyVal = new UnCheckedExpr ((Expression) yyVals[-1+yyTop], (Location) yyVals[-3+yyTop]);
}
break;
case 525:
#line 3591 "cs-parser.jay"
{
Expression deref;
LocatedToken lt = (LocatedToken) yyVals[0+yyTop];
deref = new Indirection ((Expression) yyVals[-2+yyTop], lt.Location);
yyVal = new MemberAccess (deref, lt.Value);
}
break;
case 526:
#line 3602 "cs-parser.jay"
{
start_anonymous (false, (Parameters) yyVals[0+yyTop], (Location) yyVals[-1+yyTop]);
}
break;
case 527:
#line 3606 "cs-parser.jay"
{
yyVal = end_anonymous ((ToplevelBlock) yyVals[0+yyTop]);
}
break;
case 528:
#line 3613 "cs-parser.jay"
{
yyVal = Parameters.Undefined;
}
break;
case 530:
#line 3621 "cs-parser.jay"
{
params_modifiers_not_allowed = true;
}
break;
case 531:
#line 3625 "cs-parser.jay"
{
params_modifiers_not_allowed = false;
yyVal = yyVals[-1+yyTop];
}
break;
case 532:
#line 3633 "cs-parser.jay"
{
if (RootContext.Version < LanguageVersion.ISO_2)
Report.FeatureIsNotAvailable (lexer.Location, "default value expression");
yyVal = new DefaultValueExpression ((Expression) yyVals[-1+yyTop], GetLocation (yyVals[-3+yyTop]));
}
break;
case 534:
#line 3644 "cs-parser.jay"
{
yyVal = new Unary (Unary.Operator.LogicalNot, (Expression) yyVals[0+yyTop]);
}
break;
case 535:
#line 3648 "cs-parser.jay"
{
yyVal = new Unary (Unary.Operator.OnesComplement, (Expression) yyVals[0+yyTop]);
}
break;
case 537:
#line 3656 "cs-parser.jay"
{
yyVal = new Cast ((FullNamedExpression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop], GetLocation (yyVals[-3+yyTop]));
}
break;
case 538:
#line 3660 "cs-parser.jay"
{
yyVal = new Cast ((FullNamedExpression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop], GetLocation (yyVals[-3+yyTop]));
}
break;
case 540:
#line 3672 "cs-parser.jay"
{
yyVal = new Unary (Unary.Operator.UnaryPlus, (Expression) yyVals[0+yyTop]);
}
break;
case 541:
#line 3676 "cs-parser.jay"
{
yyVal = new Unary (Unary.Operator.UnaryNegation, (Expression) yyVals[0+yyTop]);
}
break;
case 542:
#line 3680 "cs-parser.jay"
{
yyVal = new UnaryMutator (UnaryMutator.Mode.PreIncrement, (Expression) yyVals[0+yyTop]);
}
break;
case 543:
#line 3684 "cs-parser.jay"
{
yyVal = new UnaryMutator (UnaryMutator.Mode.PreDecrement, (Expression) yyVals[0+yyTop]);
}
break;
case 544:
#line 3688 "cs-parser.jay"
{
yyVal = new Indirection ((Expression) yyVals[0+yyTop], GetLocation (yyVals[-1+yyTop]));
}
break;
case 545:
#line 3692 "cs-parser.jay"
{
yyVal = new Unary (Unary.Operator.AddressOf, (Expression) yyVals[0+yyTop]);
}
break;
case 547:
#line 3700 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.Multiply,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 548:
#line 3705 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.Division,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 549:
#line 3710 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.Modulus,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 551:
#line 3719 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.Addition,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 552:
#line 3724 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.Subtraction, (Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 553:
#line 3728 "cs-parser.jay"
{
/* Shift/Reduce conflict*/
yyVal = new Binary (Binary.Operator.Subtraction, (Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 554:
#line 3733 "cs-parser.jay"
{
yyVal = new As ((Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop], (Location) yyVals[-1+yyTop]);
}
break;
case 555:
#line 3737 "cs-parser.jay"
{
yyVal = new Is ((Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop], (Location) yyVals[-1+yyTop]);
}
break;
case 557:
#line 3745 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.LeftShift,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 558:
#line 3750 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.RightShift,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 560:
#line 3759 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.LessThan,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 561:
#line 3764 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.GreaterThan,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 562:
#line 3769 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.LessThanOrEqual,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 563:
#line 3774 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.GreaterThanOrEqual,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 565:
#line 3783 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.Equality,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 566:
#line 3788 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.Inequality,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 568:
#line 3797 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.BitwiseAnd,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 570:
#line 3806 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.ExclusiveOr,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 572:
#line 3815 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.BitwiseOr,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 574:
#line 3824 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.LogicalAnd,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 576:
#line 3833 "cs-parser.jay"
{
yyVal = new Binary (Binary.Operator.LogicalOr,
(Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 578:
#line 3842 "cs-parser.jay"
{
if (RootContext.Version < LanguageVersion.ISO_2)
Report.FeatureIsNotAvailable (GetLocation (yyVals[-1+yyTop]), "null coalescing operator");
yyVal = new Nullable.NullCoalescingOperator ((Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop], lexer.Location);
}
break;
case 580:
#line 3853 "cs-parser.jay"
{
yyVal = new Conditional ((Expression) yyVals[-4+yyTop], (Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 581:
#line 3860 "cs-parser.jay"
{
yyVal = new SimpleAssign ((Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 582:
#line 3864 "cs-parser.jay"
{
yyVal = new CompoundAssign (
Binary.Operator.Multiply, (Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 583:
#line 3869 "cs-parser.jay"
{
yyVal = new CompoundAssign (
Binary.Operator.Division, (Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 584:
#line 3874 "cs-parser.jay"
{
yyVal = new CompoundAssign (
Binary.Operator.Modulus, (Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 585:
#line 3879 "cs-parser.jay"
{
yyVal = new CompoundAssign (
Binary.Operator.Addition, (Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 586:
#line 3884 "cs-parser.jay"
{
yyVal = new CompoundAssign (
Binary.Operator.Subtraction, (Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 587:
#line 3889 "cs-parser.jay"
{
yyVal = new CompoundAssign (
Binary.Operator.LeftShift, (Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 588:
#line 3894 "cs-parser.jay"
{
yyVal = new CompoundAssign (
Binary.Operator.RightShift, (Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 589:
#line 3899 "cs-parser.jay"
{
yyVal = new CompoundAssign (
Binary.Operator.BitwiseAnd, (Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 590:
#line 3904 "cs-parser.jay"
{
yyVal = new CompoundAssign (
Binary.Operator.BitwiseOr, (Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 591:
#line 3909 "cs-parser.jay"
{
yyVal = new CompoundAssign (
Binary.Operator.ExclusiveOr, (Expression) yyVals[-2+yyTop], (Expression) yyVals[0+yyTop]);
}
break;
case 592:
#line 3917 "cs-parser.jay"
{
ArrayList pars = new ArrayList (4);
pars.Add (yyVals[0+yyTop]);
yyVal = pars;
}
break;
case 593:
#line 3924 "cs-parser.jay"
{
ArrayList pars = (ArrayList) yyVals[-2+yyTop];
Parameter p = (Parameter)yyVals[0+yyTop];
if (pars[0].GetType () != p.GetType ()) {
Report.Error (748, p.Location, "All lambda parameters must be typed either explicitly or implicitly");
}
pars.Add (p);
yyVal = pars;
}
break;
case 594:
#line 3938 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[0+yyTop];
yyVal = new Parameter ((FullNamedExpression) yyVals[-1+yyTop], lt.Value, (Parameter.Modifier) yyVals[-2+yyTop], null, lt.Location);
}
break;
case 595:
#line 3944 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[0+yyTop];
yyVal = new Parameter ((FullNamedExpression) yyVals[-1+yyTop], lt.Value, Parameter.Modifier.NONE, null, lt.Location);
}
break;
case 596:
#line 3950 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[0+yyTop];
yyVal = new ImplicitLambdaParameter (lt.Value, lt.Location);
}
break;
case 597:
#line 3957 "cs-parser.jay"
{ yyVal = Parameters.EmptyReadOnlyParameters; }
break;
case 598:
#line 3958 "cs-parser.jay"
{
ArrayList pars_list = (ArrayList) yyVals[0+yyTop];
yyVal = new Parameters ((Parameter[])pars_list.ToArray (typeof (Parameter)));
}
break;
case 599:
#line 3965 "cs-parser.jay"
{
start_block (lexer.Location);
}
break;
case 600:
#line 3969 "cs-parser.jay"
{
Block b = end_block (lexer.Location);
b.AddStatement (new ContextualReturn ((Expression) yyVals[0+yyTop]));
yyVal = b;
}
break;
case 601:
#line 3974 "cs-parser.jay"
{
yyVal = yyVals[0+yyTop];
}
break;
case 602:
#line 3981 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
Parameter p = new ImplicitLambdaParameter (lt.Value, lt.Location);
start_anonymous (true, new Parameters (p), GetLocation (yyVals[-1+yyTop]));
}
break;
case 603:
#line 3987 "cs-parser.jay"
{
yyVal = end_anonymous ((ToplevelBlock) yyVals[0+yyTop]);
}
break;
case 604:
#line 3991 "cs-parser.jay"
{
start_anonymous (true, (Parameters) yyVals[-2+yyTop], GetLocation (yyVals[-3+yyTop]));
}
break;
case 605:
#line 3995 "cs-parser.jay"
{
yyVal = end_anonymous ((ToplevelBlock) yyVals[0+yyTop]);
}
break;
case 613:
#line 4027 "cs-parser.jay"
{
lexer.ConstraintsParsing = true;
}
break;
case 614:
#line 4031 "cs-parser.jay"
{
MemberName name = MakeName ((MemberName) yyVals[0+yyTop]);
push_current_class (new Class (current_namespace, current_class, name, (int) yyVals[-4+yyTop], (Attributes) yyVals[-5+yyTop]), yyVals[-3+yyTop]);
}
break;
case 615:
#line 4037 "cs-parser.jay"
{
lexer.ConstraintsParsing = false;
current_class.SetParameterInfo ((ArrayList) yyVals[0+yyTop]);
if (RootContext.Documentation != null) {
current_container.DocComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.Allowed;
}
}
break;
case 616:
#line 4048 "cs-parser.jay"
{
--lexer.parsing_declaration;
if (RootContext.Documentation != null)
Lexer.doc_state = XmlCommentState.Allowed;
}
break;
case 617:
#line 4054 "cs-parser.jay"
{
yyVal = pop_current_class ();
}
break;
case 618:
#line 4061 "cs-parser.jay"
{ yyVal = null; }
break;
case 619:
#line 4063 "cs-parser.jay"
{ yyVal = yyVals[0+yyTop]; }
break;
case 620:
#line 4067 "cs-parser.jay"
{ yyVal = (int) 0; }
break;
case 623:
#line 4074 "cs-parser.jay"
{
int m1 = (int) yyVals[-1+yyTop];
int m2 = (int) yyVals[0+yyTop];
if ((m1 & m2) != 0) {
Location l = lexer.Location;
Report.Error (1004, l, "Duplicate `{0}' modifier", Modifiers.Name (m2));
}
yyVal = (int) (m1 | m2);
}
break;
case 624:
#line 4088 "cs-parser.jay"
{
yyVal = Modifiers.NEW;
if (current_container == RootContext.ToplevelTypes)
Report.Error (1530, lexer.Location, "Keyword `new' is not allowed on namespace elements");
}
break;
case 625:
#line 4093 "cs-parser.jay"
{ yyVal = Modifiers.PUBLIC; }
break;
case 626:
#line 4094 "cs-parser.jay"
{ yyVal = Modifiers.PROTECTED; }
break;
case 627:
#line 4095 "cs-parser.jay"
{ yyVal = Modifiers.INTERNAL; }
break;
case 628:
#line 4096 "cs-parser.jay"
{ yyVal = Modifiers.PRIVATE; }
break;
case 629:
#line 4097 "cs-parser.jay"
{ yyVal = Modifiers.ABSTRACT; }
break;
case 630:
#line 4098 "cs-parser.jay"
{ yyVal = Modifiers.SEALED; }
break;
case 631:
#line 4099 "cs-parser.jay"
{ yyVal = Modifiers.STATIC; }
break;
case 632:
#line 4100 "cs-parser.jay"
{ yyVal = Modifiers.READONLY; }
break;
case 633:
#line 4101 "cs-parser.jay"
{ yyVal = Modifiers.VIRTUAL; }
break;
case 634:
#line 4102 "cs-parser.jay"
{ yyVal = Modifiers.OVERRIDE; }
break;
case 635:
#line 4103 "cs-parser.jay"
{ yyVal = Modifiers.EXTERN; }
break;
case 636:
#line 4104 "cs-parser.jay"
{ yyVal = Modifiers.VOLATILE; }
break;
case 637:
#line 4105 "cs-parser.jay"
{ yyVal = Modifiers.UNSAFE; }
break;
case 640:
#line 4114 "cs-parser.jay"
{ current_container.AddBasesForPart (current_class, (ArrayList) yyVals[0+yyTop]); }
break;
case 641:
#line 4118 "cs-parser.jay"
{ yyVal = null; }
break;
case 642:
#line 4120 "cs-parser.jay"
{ yyVal = yyVals[0+yyTop]; }
break;
case 643:
#line 4124 "cs-parser.jay"
{
ArrayList constraints = new ArrayList (1);
constraints.Add (yyVals[0+yyTop]);
yyVal = constraints;
}
break;
case 644:
#line 4129 "cs-parser.jay"
{
ArrayList constraints = (ArrayList) yyVals[-1+yyTop];
Constraints new_constraint = (Constraints)yyVals[0+yyTop];
foreach (Constraints c in constraints) {
if (new_constraint.TypeParameter == c.TypeParameter) {
Report.Error (409, new_constraint.Location, "A constraint clause has already been specified for type parameter `{0}'",
new_constraint.TypeParameter);
}
}
constraints.Add (new_constraint);
yyVal = constraints;
}
break;
case 645:
#line 4146 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-2+yyTop];
yyVal = new Constraints (lt.Value, (ArrayList) yyVals[0+yyTop], lt.Location);
}
break;
case 646:
#line 4153 "cs-parser.jay"
{
ArrayList constraints = new ArrayList (1);
constraints.Add (yyVals[0+yyTop]);
yyVal = constraints;
}
break;
case 647:
#line 4158 "cs-parser.jay"
{
ArrayList constraints = (ArrayList) yyVals[-2+yyTop];
constraints.Add (yyVals[0+yyTop]);
yyVal = constraints;
}
break;
case 649:
#line 4168 "cs-parser.jay"
{
yyVal = SpecialConstraint.Constructor;
}
break;
case 650:
#line 4171 "cs-parser.jay"
{
yyVal = SpecialConstraint.ReferenceType;
}
break;
case 651:
#line 4174 "cs-parser.jay"
{
yyVal = SpecialConstraint.ValueType;
}
break;
case 652:
#line 4194 "cs-parser.jay"
{
++lexer.parsing_block;
start_block ((Location) yyVals[0+yyTop]);
}
break;
case 653:
#line 4199 "cs-parser.jay"
{
--lexer.parsing_block;
yyVal = end_block ((Location) yyVals[0+yyTop]);
}
break;
case 654:
#line 4207 "cs-parser.jay"
{
++lexer.parsing_block;
current_block.StartLocation = GetLocation (yyVals[0+yyTop]);
}
break;
case 655:
#line 4212 "cs-parser.jay"
{
--lexer.parsing_block;
yyVal = end_block ((Location) yyVals[0+yyTop]);
}
break;
case 660:
#line 4230 "cs-parser.jay"
{
if (yyVals[0+yyTop] != null && (Block) yyVals[0+yyTop] != current_block){
current_block.AddStatement ((Statement) yyVals[0+yyTop]);
current_block = (Block) yyVals[0+yyTop];
}
}
break;
case 661:
#line 4237 "cs-parser.jay"
{
current_block.AddStatement ((Statement) yyVals[0+yyTop]);
}
break;
case 665:
#line 4256 "cs-parser.jay"
{
if (yyVals[0+yyTop] != null && (Block) yyVals[0+yyTop] != current_block){
current_block.AddStatement ((Statement) yyVals[0+yyTop]);
current_block = (Block) yyVals[0+yyTop];
}
}
break;
case 666:
#line 4263 "cs-parser.jay"
{
current_block.AddStatement ((Statement) yyVals[0+yyTop]);
}
break;
case 695:
#line 4304 "cs-parser.jay"
{
Report.Error (1023, GetLocation (yyVals[0+yyTop]), "An embedded statement may not be a declaration or labeled statement");
yyVal = null;
}
break;
case 696:
#line 4309 "cs-parser.jay"
{
Report.Error (1023, GetLocation (yyVals[0+yyTop]), "An embedded statement may not be a declaration or labeled statement");
yyVal = null;
}
break;
case 697:
#line 4317 "cs-parser.jay"
{
yyVal = EmptyStatement.Value;
}
break;
case 698:
#line 4324 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
LabeledStatement labeled = new LabeledStatement (lt.Value, lt.Location);
if (current_block.AddLabel (labeled))
current_block.AddStatement (labeled);
}
break;
case 700:
#line 4336 "cs-parser.jay"
{
current_array_type = null;
if (yyVals[-1+yyTop] != null){
DictionaryEntry de = (DictionaryEntry) yyVals[-1+yyTop];
Expression e = (Expression) de.Key;
yyVal = declare_local_variables (e, (ArrayList) de.Value, e.Location);
}
}
break;
case 701:
#line 4347 "cs-parser.jay"
{
current_array_type = null;
if (yyVals[-1+yyTop] != null){
DictionaryEntry de = (DictionaryEntry) yyVals[-1+yyTop];
yyVal = declare_local_constants ((Expression) de.Key, (ArrayList) de.Value);
}
}
break;
case 702:
#line 4365 "cs-parser.jay"
{
/* FIXME: Do something smart here regarding the composition of the type.*/
/* Ok, the above "primary_expression" is there to get rid of*/
/* both reduce/reduce and shift/reduces in the grammar, it should*/
/* really just be "type_name". If you use type_name, a reduce/reduce*/
/* creeps up. If you use namespace_or_type_name (which is all we need*/
/* really) two shift/reduces appear.*/
/* */
/* So the super-trick is that primary_expression*/
/* can only be either a SimpleName or a MemberAccess. */
/* The MemberAccess case arises when you have a fully qualified type-name like :*/
/* Foo.Bar.Blah i;*/
/* SimpleName is when you have*/
/* Blah i;*/
Expression expr = (Expression) yyVals[-1+yyTop];
string rank_or_nullable = (string) yyVals[0+yyTop];
if (expr is ComposedCast){
yyVal = new ComposedCast ((ComposedCast)expr, rank_or_nullable);
} else if (expr is ATypeNameExpression){
/**/
/* So we extract the string corresponding to the SimpleName*/
/* or MemberAccess*/
/**/
if (rank_or_nullable.Length == 0) {
SimpleName sn = expr as SimpleName;
if (sn != null && sn.Name == "var" &&
(RootContext.Version > LanguageVersion.ISO_2 || RootContext.Version == LanguageVersion.Default_MCS))
yyVal = current_array_type = new VarExpr (sn.Location);
else
yyVal = yyVals[-1+yyTop];
} else {
yyVal = new ComposedCast ((ATypeNameExpression)expr, rank_or_nullable);
}
} else {
Error_ExpectingTypeName (expr);
yyVal = TypeManager.system_object_expr;
}
}
break;
case 703:
#line 4408 "cs-parser.jay"
{
if ((string) yyVals[0+yyTop] == "")
yyVal = yyVals[-1+yyTop];
else
yyVal = current_array_type = new ComposedCast ((FullNamedExpression) yyVals[-1+yyTop], (string) yyVals[0+yyTop], lexer.Location);
}
break;
case 704:
#line 4415 "cs-parser.jay"
{
Expression.Error_VoidInvalidInTheContext (lexer.Location);
yyVal = TypeManager.system_void_expr;
}
break;
case 705:
#line 4423 "cs-parser.jay"
{
ATypeNameExpression expr = yyVals[-1+yyTop] as ATypeNameExpression;
if (expr != null) {
yyVal = new ComposedCast (expr, "*");
} else {
Error_ExpectingTypeName ((Expression)yyVals[-1+yyTop]);
yyVal = expr;
}
}
break;
case 706:
#line 4434 "cs-parser.jay"
{
yyVal = new ComposedCast ((FullNamedExpression) yyVals[-1+yyTop], "*", GetLocation (yyVals[-1+yyTop]));
}
break;
case 707:
#line 4438 "cs-parser.jay"
{
yyVal = new ComposedCast (TypeManager.system_void_expr, "*", (Location) yyVals[-1+yyTop]);
}
break;
case 708:
#line 4442 "cs-parser.jay"
{
yyVal = new ComposedCast ((FullNamedExpression) yyVals[-1+yyTop], "*");
}
break;
case 710:
#line 4450 "cs-parser.jay"
{
if (yyVals[-1+yyTop] != null){
string rank = (string)yyVals[0+yyTop];
if (rank == "")
yyVal = yyVals[-1+yyTop];
else
yyVal = current_array_type = new ComposedCast ((FullNamedExpression) yyVals[-1+yyTop], rank);
} else {
yyVal = null;
}
}
break;
case 711:
#line 4466 "cs-parser.jay"
{
if (yyVals[-1+yyTop] != null) {
VarExpr ve = yyVals[-1+yyTop] as VarExpr;
if (ve != null)
ve.VariableInitializer = (ArrayList)yyVals[0+yyTop];
yyVal = new DictionaryEntry (yyVals[-1+yyTop], yyVals[0+yyTop]);
} else
yyVal = null;
}
break;
case 712:
#line 4480 "cs-parser.jay"
{
if (yyVals[-1+yyTop] != null)
yyVal = new DictionaryEntry (yyVals[-1+yyTop], yyVals[0+yyTop]);
else
yyVal = null;
}
break;
case 713:
#line 4489 "cs-parser.jay"
{ yyVal = yyVals[-1+yyTop]; }
break;
case 714:
#line 4493 "cs-parser.jay"
{ yyVal = yyVals[-1+yyTop]; }
break;
case 715:
#line 4502 "cs-parser.jay"
{
ExpressionStatement s = yyVals[0+yyTop] as ExpressionStatement;
if (s == null) {
((Expression) yyVals[0+yyTop]).Error_InvalidExpressionStatement ();
s = EmptyExpressionStatement.Instance;
}
yyVal = new StatementExpression (s);
}
break;
case 716:
#line 4512 "cs-parser.jay"
{
Error_SyntaxError (yyToken);
yyVal = null;
}
break;
case 717:
#line 4520 "cs-parser.jay"
{
Expression expr = (Expression) yyVals[0+yyTop];
ExpressionStatement s;
s = new OptionalAssign (new SimpleName ("$retval", lexer.Location), expr, lexer.Location);
yyVal = new StatementExpression (s);
}
break;
case 718:
#line 4528 "cs-parser.jay"
{
Error_SyntaxError (yyToken);
yyVal = null;
}
break;
case 721:
#line 4542 "cs-parser.jay"
{
Location l = (Location) yyVals[-4+yyTop];
yyVal = new If ((Expression) yyVals[-2+yyTop], (Statement) yyVals[0+yyTop], l);
/* FIXME: location for warning should be loc property of $5.*/
if (yyVals[0+yyTop] == EmptyStatement.Value)
Report.Warning (642, 3, l, "Possible mistaken empty statement");
}
break;
case 722:
#line 4554 "cs-parser.jay"
{
Location l = (Location) yyVals[-6+yyTop];
yyVal = new If ((Expression) yyVals[-4+yyTop], (Statement) yyVals[-2+yyTop], (Statement) yyVals[0+yyTop], l);
/* FIXME: location for warning should be loc property of $5 and $7.*/
if (yyVals[-2+yyTop] == EmptyStatement.Value)
Report.Warning (642, 3, l, "Possible mistaken empty statement");
if (yyVals[0+yyTop] == EmptyStatement.Value)
Report.Warning (642, 3, l, "Possible mistaken empty statement");
}
break;
case 723:
#line 4569 "cs-parser.jay"
{
if (switch_stack == null)
switch_stack = new Stack (2);
switch_stack.Push (current_block);
}
break;
case 724:
#line 4576 "cs-parser.jay"
{
yyVal = new Switch ((Expression) yyVals[-2+yyTop], (ArrayList) yyVals[0+yyTop], (Location) yyVals[-5+yyTop]);
current_block = (Block) switch_stack.Pop ();
}
break;
case 725:
#line 4586 "cs-parser.jay"
{
yyVal = yyVals[-1+yyTop];
}
break;
case 726:
#line 4593 "cs-parser.jay"
{
Report.Warning (1522, 1, lexer.Location, "Empty switch block");
yyVal = new ArrayList ();
}
break;
case 728:
#line 4602 "cs-parser.jay"
{
ArrayList sections = new ArrayList (4);
sections.Add (yyVals[0+yyTop]);
yyVal = sections;
}
break;
case 729:
#line 4609 "cs-parser.jay"
{
ArrayList sections = (ArrayList) yyVals[-1+yyTop];
sections.Add (yyVals[0+yyTop]);
yyVal = sections;
}
break;
case 730:
#line 4619 "cs-parser.jay"
{
current_block = current_block.CreateSwitchBlock (lexer.Location);
}
break;
case 731:
#line 4623 "cs-parser.jay"
{
yyVal = new SwitchSection ((ArrayList) yyVals[-2+yyTop], current_block.Explicit);
}
break;
case 732:
#line 4630 "cs-parser.jay"
{
ArrayList labels = new ArrayList (4);
labels.Add (yyVals[0+yyTop]);
yyVal = labels;
}
break;
case 733:
#line 4637 "cs-parser.jay"
{
ArrayList labels = (ArrayList) (yyVals[-1+yyTop]);
labels.Add (yyVals[0+yyTop]);
yyVal = labels;
}
break;
case 734:
#line 4647 "cs-parser.jay"
{
yyVal = new SwitchLabel ((Expression) yyVals[-1+yyTop], (Location) yyVals[-2+yyTop]);
}
break;
case 735:
#line 4651 "cs-parser.jay"
{
yyVal = new SwitchLabel (null, (Location) yyVals[0+yyTop]);
}
break;
case 740:
#line 4665 "cs-parser.jay"
{
Location l = (Location) yyVals[-4+yyTop];
yyVal = new While ((Expression) yyVals[-2+yyTop], (Statement) yyVals[0+yyTop], l);
}
break;
case 741:
#line 4674 "cs-parser.jay"
{
Location l = (Location) yyVals[-6+yyTop];
yyVal = new Do ((Statement) yyVals[-5+yyTop], (Expression) yyVals[-2+yyTop], l);
}
break;
case 742:
#line 4683 "cs-parser.jay"
{
Location l = lexer.Location;
start_block (l);
Block assign_block = current_block;
if (yyVals[-1+yyTop] is DictionaryEntry){
DictionaryEntry de = (DictionaryEntry) yyVals[-1+yyTop];
Expression type = (Expression) de.Key;
ArrayList var_declarators = (ArrayList) de.Value;
foreach (VariableDeclaration decl in var_declarators){
LocalInfo vi;
vi = current_block.AddVariable (type, decl.identifier, decl.Location);
if (vi == null)
continue;
Expression expr = decl.expression_or_array_initializer;
LocalVariableReference var;
var = new LocalVariableReference (assign_block, decl.identifier, l);
if (expr != null) {
Assign a = new SimpleAssign (var, expr, decl.Location);
assign_block.AddStatement (new StatementExpression (a));
}
}
/* Note: the $$ below refers to the value of this code block, not of the LHS non-terminal.*/
/* This can be referred to as $5 below.*/
yyVal = null;
} else {
yyVal = yyVals[-1+yyTop];
}
}
break;
case 743:
#line 4724 "cs-parser.jay"
{
Location l = (Location) yyVals[-9+yyTop];
For f = new For ((Statement) yyVals[-5+yyTop], (Expression) yyVals[-4+yyTop], (Statement) yyVals[-2+yyTop], (Statement) yyVals[0+yyTop], l);
current_block.AddStatement (f);
yyVal = end_block (lexer.Location);
}
break;
case 744:
#line 4736 "cs-parser.jay"
{ yyVal = EmptyStatement.Value; }
break;
case 748:
#line 4746 "cs-parser.jay"
{ yyVal = null; }
break;
case 750:
#line 4751 "cs-parser.jay"
{ yyVal = EmptyStatement.Value; }
break;
case 753:
#line 4761 "cs-parser.jay"
{
/* CHANGE: was `null'*/
Statement s = (Statement) yyVals[0+yyTop];
Block b = new Block (current_block, s.loc, lexer.Location);
b.AddStatement (s);
yyVal = b;
}
break;
case 754:
#line 4770 "cs-parser.jay"
{
Block b = (Block) yyVals[-2+yyTop];
b.AddStatement ((Statement) yyVals[0+yyTop]);
yyVal = yyVals[-2+yyTop];
}
break;
case 755:
#line 4780 "cs-parser.jay"
{
Report.Error (230, (Location) yyVals[-5+yyTop], "Type and identifier are both required in a foreach statement");
yyVal = null;
}
break;
case 756:
#line 4786 "cs-parser.jay"
{
start_block (lexer.Location);
Block foreach_block = current_block;
LocatedToken lt = (LocatedToken) yyVals[-3+yyTop];
Location l = lt.Location;
LocalInfo vi = foreach_block.AddVariable ((Expression) yyVals[-4+yyTop], lt.Value, l);
if (vi != null) {
vi.SetReadOnlyContext (LocalInfo.ReadOnlyContext.Foreach);
/* Get a writable reference to this read-only variable.*/
/**/
/* Note that the $$ here refers to the value of _this_ code block,*/
/* not the value of the LHS non-terminal. This can be referred to as $8 below.*/
yyVal = new LocalVariableReference (foreach_block, lt.Value, l, vi, false);
} else {
yyVal = null;
}
}
break;
case 757:
#line 4806 "cs-parser.jay"
{
LocalVariableReference v = (LocalVariableReference) yyVals[-1+yyTop];
Location l = (Location) yyVals[-8+yyTop];
if (v != null) {
Foreach f = new Foreach ((Expression) yyVals[-6+yyTop], v, (Expression) yyVals[-3+yyTop], (Statement) yyVals[0+yyTop], l);
current_block.AddStatement (f);
}
yyVal = end_block (lexer.Location);
}
break;
case 764:
#line 4830 "cs-parser.jay"
{
yyVal = new Break ((Location) yyVals[-1+yyTop]);
}
break;
case 765:
#line 4837 "cs-parser.jay"
{
yyVal = new Continue ((Location) yyVals[-1+yyTop]);
}
break;
case 766:
#line 4844 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-1+yyTop];
yyVal = new Goto (lt.Value, lt.Location);
}
break;
case 767:
#line 4849 "cs-parser.jay"
{
yyVal = new GotoCase ((Expression) yyVals[-1+yyTop], (Location) yyVals[-3+yyTop]);
}
break;
case 768:
#line 4853 "cs-parser.jay"
{
yyVal = new GotoDefault ((Location) yyVals[-2+yyTop]);
}
break;
case 769:
#line 4860 "cs-parser.jay"
{
yyVal = new Return ((Expression) yyVals[-1+yyTop], (Location) yyVals[-2+yyTop]);
}
break;
case 770:
#line 4867 "cs-parser.jay"
{
yyVal = new Throw ((Expression) yyVals[-1+yyTop], (Location) yyVals[-2+yyTop]);
}
break;
case 771:
#line 4874 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-3+yyTop];
string s = lt.Value;
if (s != "yield"){
Report.Error (1003, lt.Location, "; expected");
yyVal = null;
}
if (RootContext.Version == LanguageVersion.ISO_1){
Report.FeatureIsNotAvailable (lt.Location, "yield statement");
yyVal = null;
}
current_block.Toplevel.IsIterator = true;
yyVal = new Yield ((Expression) yyVals[-1+yyTop], lt.Location);
}
break;
case 772:
#line 4889 "cs-parser.jay"
{
Report.Error (1627, (Location) yyVals[-1+yyTop], "Expression expected after yield return");
yyVal = null;
}
break;
case 773:
#line 4894 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-2+yyTop];
string s = lt.Value;
if (s != "yield"){
Report.Error (1003, lt.Location, "; expected");
yyVal = null;
}
if (RootContext.Version == LanguageVersion.ISO_1){
Report.FeatureIsNotAvailable (lt.Location, "yield statement");
yyVal = null;
}
current_block.Toplevel.IsIterator = true;
yyVal = new YieldBreak (lt.Location);
}
break;
case 776:
#line 4918 "cs-parser.jay"
{
yyVal = new TryCatch ((Block) yyVals[-1+yyTop], (ArrayList) yyVals[0+yyTop], (Location) yyVals[-2+yyTop], false);
}
break;
case 777:
#line 4922 "cs-parser.jay"
{
yyVal = new TryFinally ((Statement) yyVals[-2+yyTop], (Block) yyVals[0+yyTop], (Location) yyVals[-3+yyTop]);
}
break;
case 778:
#line 4926 "cs-parser.jay"
{
yyVal = new TryFinally (new TryCatch ((Block) yyVals[-3+yyTop], (ArrayList) yyVals[-2+yyTop], (Location) yyVals[-4+yyTop], true), (Block) yyVals[0+yyTop], (Location) yyVals[-4+yyTop]);
}
break;
case 779:
#line 4930 "cs-parser.jay"
{
Report.Error (1524, (Location) yyVals[-2+yyTop], "Expected catch or finally");
yyVal = null;
}
break;
case 780:
#line 4938 "cs-parser.jay"
{
ArrayList l = new ArrayList (4);
l.Add (yyVals[0+yyTop]);
yyVal = l;
}
break;
case 781:
#line 4945 "cs-parser.jay"
{
ArrayList l = (ArrayList) yyVals[-1+yyTop];
l.Add (yyVals[0+yyTop]);
yyVal = l;
}
break;
case 782:
#line 4954 "cs-parser.jay"
{ yyVal = null; }
break;
case 784:
#line 4960 "cs-parser.jay"
{
Expression type = null;
if (yyVals[0+yyTop] != null) {
DictionaryEntry cc = (DictionaryEntry) yyVals[0+yyTop];
type = (Expression) cc.Key;
LocatedToken lt = (LocatedToken) cc.Value;
if (lt != null){
ArrayList one = new ArrayList (4);
one.Add (new VariableDeclaration (lt, null));
start_block (lexer.Location);
current_block = declare_local_variables (type, one, lt.Location);
}
}
}
break;
case 785:
#line 4977 "cs-parser.jay"
{
Expression type = null;
string id = null;
Block var_block = null;
if (yyVals[-2+yyTop] != null){
DictionaryEntry cc = (DictionaryEntry) yyVals[-2+yyTop];
type = (Expression) cc.Key;
LocatedToken lt = (LocatedToken) cc.Value;
if (lt != null){
id = lt.Value;
var_block = end_block (lexer.Location);
}
}
yyVal = new Catch (type, id, (Block) yyVals[0+yyTop], var_block, ((Block) yyVals[0+yyTop]).loc);
}
break;
case 786:
#line 4998 "cs-parser.jay"
{ yyVal = null; }
break;
case 788:
#line 5004 "cs-parser.jay"
{
yyVal = new DictionaryEntry (yyVals[-2+yyTop], yyVals[-1+yyTop]);
}
break;
case 789:
#line 5008 "cs-parser.jay"
{
Report.Error (1015, GetLocation (yyVals[-1+yyTop]), "A type that derives from `System.Exception', `object', or `string' expected");
}
break;
case 790:
#line 5015 "cs-parser.jay"
{
yyVal = new Checked ((Block) yyVals[0+yyTop]);
}
break;
case 791:
#line 5022 "cs-parser.jay"
{
yyVal = new Unchecked ((Block) yyVals[0+yyTop]);
}
break;
case 792:
#line 5029 "cs-parser.jay"
{
RootContext.CheckUnsafeOption ((Location) yyVals[0+yyTop]);
}
break;
case 793:
#line 5031 "cs-parser.jay"
{
yyVal = new Unsafe ((Block) yyVals[0+yyTop]);
}
break;
case 794:
#line 5040 "cs-parser.jay"
{
ArrayList list = (ArrayList) yyVals[-1+yyTop];
Expression type = (Expression) yyVals[-2+yyTop];
Location l = (Location) yyVals[-4+yyTop];
int top = list.Count;
start_block (lexer.Location);
for (int i = 0; i < top; i++){
Pair p = (Pair) list [i];
LocalInfo v;
v = current_block.AddVariable (type, (string) p.First, l);
if (v == null)
continue;
v.SetReadOnlyContext (LocalInfo.ReadOnlyContext.Fixed);
v.Pinned = true;
p.First = v;
list [i] = p;
}
}
break;
case 795:
#line 5063 "cs-parser.jay"
{
Location l = (Location) yyVals[-6+yyTop];
Fixed f = new Fixed ((Expression) yyVals[-4+yyTop], (ArrayList) yyVals[-3+yyTop], (Statement) yyVals[0+yyTop], l);
current_block.AddStatement (f);
yyVal = end_block (lexer.Location);
}
break;
case 796:
#line 5075 "cs-parser.jay"
{
ArrayList declarators = new ArrayList (4);
if (yyVals[0+yyTop] != null)
declarators.Add (yyVals[0+yyTop]);
yyVal = declarators;
}
break;
case 797:
#line 5082 "cs-parser.jay"
{
ArrayList declarators = (ArrayList) yyVals[-2+yyTop];
if (yyVals[0+yyTop] != null)
declarators.Add (yyVals[0+yyTop]);
yyVal = declarators;
}
break;
case 798:
#line 5092 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-2+yyTop];
/* FIXME: keep location*/
yyVal = new Pair (lt.Value, yyVals[0+yyTop]);
}
break;
case 799:
#line 5098 "cs-parser.jay"
{
Report.Error (210, ((LocatedToken) yyVals[0+yyTop]).Location, "You must provide an initializer in a fixed or using statement declaration");
yyVal = null;
}
break;
case 800:
#line 5106 "cs-parser.jay"
{
/**/
}
break;
case 801:
#line 5110 "cs-parser.jay"
{
yyVal = new Lock ((Expression) yyVals[-3+yyTop], (Statement) yyVals[0+yyTop], (Location) yyVals[-5+yyTop]);
}
break;
case 802:
#line 5117 "cs-parser.jay"
{
start_block (lexer.Location);
Block assign_block = current_block;
DictionaryEntry de = (DictionaryEntry) yyVals[-1+yyTop];
Location l = (Location) yyVals[-3+yyTop];
Expression type = (Expression) de.Key;
ArrayList var_declarators = (ArrayList) de.Value;
Stack vars = new Stack ();
foreach (VariableDeclaration decl in var_declarators) {
LocalInfo vi = current_block.AddVariable (type, decl.identifier, decl.Location);
if (vi == null)
continue;
vi.SetReadOnlyContext (LocalInfo.ReadOnlyContext.Using);
Expression expr = decl.expression_or_array_initializer;
if (expr == null) {
Report.Error (210, l, "You must provide an initializer in a fixed or using statement declaration");
continue;
}
LocalVariableReference var;
/* Get a writable reference to this read-only variable.*/
var = new LocalVariableReference (assign_block, decl.identifier, l, vi, false);
/* This is so that it is not a warning on using variables*/
vi.Used = true;
vars.Push (new DictionaryEntry (var, expr));
/* Assign a = new SimpleAssign (var, expr, decl.Location);*/
/* assign_block.AddStatement (new StatementExpression (a));*/
}
/* Note: the $$ here refers to the value of this code block and not of the LHS non-terminal.*/
/* It can be referred to as $5 below.*/
yyVal = vars;
}
break;
case 803:
#line 5159 "cs-parser.jay"
{
Statement stmt = (Statement) yyVals[0+yyTop];
Stack vars = (Stack) yyVals[-1+yyTop];
Location l = (Location) yyVals[-5+yyTop];
while (vars.Count > 0) {
DictionaryEntry de = (DictionaryEntry) vars.Pop ();
stmt = new Using ((Expression) de.Key, (Expression) de.Value, stmt, l);
}
current_block.AddStatement (stmt);
yyVal = end_block (lexer.Location);
}
break;
case 804:
#line 5172 "cs-parser.jay"
{
start_block (lexer.Location);
}
break;
case 805:
#line 5176 "cs-parser.jay"
{
current_block.AddStatement (new UsingTemporary ((Expression) yyVals[-3+yyTop], (Statement) yyVals[0+yyTop], (Location) yyVals[-5+yyTop]));
yyVal = end_block (lexer.Location);
}
break;
case 806:
#line 5187 "cs-parser.jay"
{
++lexer.query_parsing;
}
break;
case 807:
#line 5191 "cs-parser.jay"
{
if (--lexer.query_parsing == 1)
lexer.query_parsing = 0;
Linq.AQueryClause from = yyVals[-2+yyTop] as Linq.AQueryClause;
from.Tail.Next = (Linq.AQueryClause)yyVals[0+yyTop];
yyVal = from;
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
}
break;
case 808:
#line 5207 "cs-parser.jay"
{
yyVal = new Linq.QueryExpression (current_block, new Linq.QueryStartClause ((Expression)yyVals[0+yyTop]));
current_block = new Linq.QueryBlock (current_block, (LocatedToken) yyVals[-2+yyTop], GetLocation (yyVals[-3+yyTop]));
}
break;
case 809:
#line 5212 "cs-parser.jay"
{
yyVal = new Linq.QueryExpression (current_block, new Linq.Cast ((FullNamedExpression)yyVals[-3+yyTop], (Expression)yyVals[0+yyTop]));
current_block = new Linq.QueryBlock (current_block, (LocatedToken) yyVals[-2+yyTop], GetLocation (yyVals[-4+yyTop]));
}
break;
case 810:
#line 5220 "cs-parser.jay"
{
current_block = new Linq.QueryBlock (current_block, GetLocation (yyVals[-2+yyTop]));
}
break;
case 811:
#line 5224 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-3+yyTop];
yyVal = new Linq.SelectMany (current_block.Toplevel, lt, (Expression)yyVals[0+yyTop]);
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
((Linq.QueryBlock)current_block).AddTransparentParameter (lt);
}
break;
case 812:
#line 5234 "cs-parser.jay"
{
current_block = new Linq.QueryBlock (current_block, GetLocation (yyVals[-3+yyTop]));
}
break;
case 813:
#line 5238 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-3+yyTop];
FullNamedExpression type = (FullNamedExpression)yyVals[-4+yyTop];
yyVal = new Linq.SelectMany (current_block.Toplevel, lt, new Linq.Cast (type, (FullNamedExpression)yyVals[0+yyTop]));
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
((Linq.QueryBlock)current_block).AddTransparentParameter (lt);
}
break;
case 814:
#line 5253 "cs-parser.jay"
{
Linq.AQueryClause head = (Linq.AQueryClause)yyVals[-1+yyTop];
if (yyVals[0+yyTop] != null)
head.Next = (Linq.AQueryClause)yyVals[0+yyTop];
if (yyVals[-2+yyTop] != null) {
Linq.AQueryClause clause = (Linq.AQueryClause)yyVals[-2+yyTop];
clause.Tail.Next = head;
head = clause;
}
yyVal = head;
}
break;
case 815:
#line 5271 "cs-parser.jay"
{
current_block = new Linq.QueryBlock (current_block, lexer.Location);
}
break;
case 816:
#line 5275 "cs-parser.jay"
{
yyVal = new Linq.Select (current_block.Toplevel, (Expression)yyVals[0+yyTop], GetLocation (yyVals[-2+yyTop]));
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
}
break;
case 817:
#line 5282 "cs-parser.jay"
{
if (linq_clause_blocks == null)
linq_clause_blocks = new Stack ();
current_block = new Linq.QueryBlock (current_block, lexer.Location);
linq_clause_blocks.Push (current_block);
}
break;
case 818:
#line 5290 "cs-parser.jay"
{
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
current_block = new Linq.QueryBlock (current_block, lexer.Location);
}
break;
case 819:
#line 5297 "cs-parser.jay"
{
yyVal = new Linq.GroupBy (current_block.Toplevel, (Expression)yyVals[-3+yyTop], (ToplevelBlock) linq_clause_blocks.Pop (), (Expression)yyVals[0+yyTop], GetLocation (yyVals[-5+yyTop]));
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
}
break;
case 823:
#line 5313 "cs-parser.jay"
{
((Linq.AQueryClause)yyVals[-1+yyTop]).Tail.Next = (Linq.AQueryClause)yyVals[0+yyTop];
yyVal = yyVals[-1+yyTop];
}
break;
case 829:
#line 5329 "cs-parser.jay"
{
current_block = new Linq.QueryBlock (current_block, GetLocation (yyVals[-2+yyTop]));
}
break;
case 830:
#line 5333 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-3+yyTop];
yyVal = new Linq.Let (current_block.Toplevel, current_container, lt, (Expression)yyVals[0+yyTop]);
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
((Linq.QueryBlock)current_block).AddTransparentParameter (lt);
}
break;
case 831:
#line 5346 "cs-parser.jay"
{
current_block = new Linq.QueryBlock (current_block, lexer.Location);
}
break;
case 832:
#line 5350 "cs-parser.jay"
{
yyVal = new Linq.Where (current_block.Toplevel, (Expression)yyVals[0+yyTop], GetLocation (yyVals[-2+yyTop]));
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
}
break;
case 833:
#line 5360 "cs-parser.jay"
{
if (linq_clause_blocks == null)
linq_clause_blocks = new Stack ();
current_block = new Linq.QueryBlock (current_block, lexer.Location);
linq_clause_blocks.Push (current_block);
}
break;
case 834:
#line 5368 "cs-parser.jay"
{
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
current_block = new Linq.QueryBlock (current_block, lexer.Location);
linq_clause_blocks.Push (current_block);
}
break;
case 835:
#line 5376 "cs-parser.jay"
{
current_block.AddStatement (new ContextualReturn ((Expression) yyVals[-1+yyTop]));
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
current_block = new Linq.QueryBlock (current_block, (LocatedToken) yyVals[-7+yyTop], lexer.Location);
}
break;
case 836:
#line 5384 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-10+yyTop];
ToplevelBlock outer_selector = (ToplevelBlock) linq_clause_blocks.Pop ();
ToplevelBlock block = (ToplevelBlock) linq_clause_blocks.Pop ();
if (yyVals[0+yyTop] == null) {
yyVal = new Linq.Join (block, lt, (Expression)yyVals[-7+yyTop], outer_selector, current_block.Toplevel, GetLocation (yyVals[-11+yyTop]));
} else {
yyVal = new Linq.GroupJoin (block, lt, (Expression)yyVals[-7+yyTop], outer_selector, current_block.Toplevel,
(LocatedToken) yyVals[0+yyTop], GetLocation (yyVals[-11+yyTop]));
}
current_block.AddStatement (new ContextualReturn ((Expression) yyVals[-1+yyTop]));
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
if (yyVals[0+yyTop] == null)
((Linq.QueryBlock)current_block).AddTransparentParameter (lt);
else
((Linq.QueryBlock)current_block).AddTransparentParameter ((LocatedToken) yyVals[0+yyTop]);
}
break;
case 837:
#line 5407 "cs-parser.jay"
{
if (linq_clause_blocks == null)
linq_clause_blocks = new Stack ();
current_block = new Linq.QueryBlock (current_block, lexer.Location);
linq_clause_blocks.Push (current_block);
}
break;
case 838:
#line 5415 "cs-parser.jay"
{
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
current_block = new Linq.QueryBlock (current_block, lexer.Location);
linq_clause_blocks.Push (current_block);
}
break;
case 839:
#line 5423 "cs-parser.jay"
{
current_block.AddStatement (new ContextualReturn ((Expression) yyVals[-1+yyTop]));
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
current_block = new Linq.QueryBlock (current_block, (LocatedToken) yyVals[-7+yyTop], lexer.Location);
}
break;
case 840:
#line 5431 "cs-parser.jay"
{
LocatedToken lt = (LocatedToken) yyVals[-10+yyTop];
ToplevelBlock outer_selector = (ToplevelBlock) linq_clause_blocks.Pop ();
ToplevelBlock block = (ToplevelBlock) linq_clause_blocks.Pop ();
Linq.Cast cast = new Linq.Cast ((FullNamedExpression)yyVals[-11+yyTop], (Expression)yyVals[-7+yyTop]);
if (yyVals[0+yyTop] == null) {
yyVal = new Linq.Join (block, lt, cast, outer_selector, current_block.Toplevel, GetLocation (yyVals[-12+yyTop]));
} else {
yyVal = new Linq.GroupJoin (block, lt, cast, outer_selector, current_block.Toplevel,
(LocatedToken) yyVals[0+yyTop], GetLocation (yyVals[-12+yyTop]));
}
current_block.AddStatement (new ContextualReturn ((Expression) yyVals[-1+yyTop]));
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
if (yyVals[0+yyTop] == null)
((Linq.QueryBlock)current_block).AddTransparentParameter (lt);
else
((Linq.QueryBlock)current_block).AddTransparentParameter ((LocatedToken) yyVals[0+yyTop]);
}
break;
case 842:
#line 5458 "cs-parser.jay"
{
yyVal = yyVals[0+yyTop];
}
break;
case 843:
#line 5465 "cs-parser.jay"
{
current_block = new Linq.QueryBlock (current_block, lexer.Location);
}
break;
case 844:
#line 5469 "cs-parser.jay"
{
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
yyVal = yyVals[0+yyTop];
}
break;
case 846:
#line 5480 "cs-parser.jay"
{
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
current_block = new Linq.QueryBlock (current_block, lexer.Location);
}
break;
case 847:
#line 5487 "cs-parser.jay"
{
((Linq.AQueryClause)yyVals[-3+yyTop]).Next = (Linq.AQueryClause)yyVals[0+yyTop];
yyVal = yyVals[-3+yyTop];
}
break;
case 849:
#line 5496 "cs-parser.jay"
{
current_block.SetEndLocation (lexer.Location);
current_block = current_block.Parent;
current_block = new Linq.QueryBlock (current_block, lexer.Location);
}
break;
case 850:
#line 5503 "cs-parser.jay"
{
((Linq.AQueryClause)yyVals[-3+yyTop]).Tail.Next = (Linq.AQueryClause)yyVals[-1+yyTop];
yyVal = yyVals[-3+yyTop];
}
break;
case 851:
#line 5511 "cs-parser.jay"
{
yyVal = new Linq.OrderByAscending (current_block.Toplevel, (Expression)yyVals[0+yyTop]);
}
break;
case 852:
#line 5515 "cs-parser.jay"
{
yyVal = new Linq.OrderByAscending (current_block.Toplevel, (Expression)yyVals[-1+yyTop]);
}
break;
case 853:
#line 5519 "cs-parser.jay"
{
yyVal = new Linq.OrderByDescending (current_block.Toplevel, (Expression)yyVals[-1+yyTop]);
}
break;
case 854:
#line 5526 "cs-parser.jay"
{
yyVal = new Linq.ThenByAscending (current_block.Toplevel, (Expression)yyVals[0+yyTop]);
}
break;
case 855:
#line 5530 "cs-parser.jay"
{
yyVal = new Linq.ThenByAscending (current_block.Toplevel, (Expression)yyVals[-1+yyTop]);
}
break;
case 856:
#line 5534 "cs-parser.jay"
{
yyVal = new Linq.ThenByDescending (current_block.Toplevel, (Expression)yyVals[-1+yyTop]);
}
break;
case 858:
#line 5543 "cs-parser.jay"
{
/* query continuation block is not linked with query block but with block*/
/* before. This means each query can use same range variable names for*/
/* different identifiers.*/
current_block.SetEndLocation (GetLocation (yyVals[-1+yyTop]));
current_block = current_block.Parent;
current_block = new Linq.QueryBlock (current_block, (LocatedToken) yyVals[0+yyTop], GetLocation (yyVals[-1+yyTop]));
}
break;
case 859:
#line 5554 "cs-parser.jay"
{
yyVal = new Linq.QueryExpression (current_block, (Linq.AQueryClause)yyVals[0+yyTop]);
}
break;
case 862:
#line 5575 "cs-parser.jay"
{
Evaluator.LoadAliases (current_namespace);
push_current_class (new Class (current_namespace, current_class, new MemberName ("Class" + class_count++),
Modifiers.PUBLIC, null), null);
ArrayList baseclass_list = new ArrayList ();
baseclass_list.Add (new TypeExpression (Evaluator.InteractiveBaseClass, lexer.Location));
current_container.AddBasesForPart (current_class, baseclass_list);
/* (ref object retval)*/
Parameter [] mpar = new Parameter [1];
mpar [0] = new Parameter (TypeManager.system_object_expr, "$retval", Parameter.Modifier.REF, null, Location.Null);
Parameters pars = new Parameters (mpar);
current_local_parameters = pars;
Method method = new Method (
current_class,
null, /* generic*/
TypeManager.system_void_expr,
Modifiers.PUBLIC | Modifiers.STATIC,
new MemberName ("Host"),
pars,
null /* attributes */);
oob_stack.Push (method);
++lexer.parsing_block;
start_block (lexer.Location);
}
break;
case 863:
#line 5605 "cs-parser.jay"
{
--lexer.parsing_block;
Method method = (Method) oob_stack.Pop ();
method.Block = (ToplevelBlock) end_block(lexer.Location);
current_container.AddMethod (method);
--lexer.parsing_declaration;
InteractiveResult = pop_current_class ();
current_local_parameters = null;
}
break;
case 864:
#line 5616 "cs-parser.jay"
{
Evaluator.LoadAliases (current_namespace);
}
break;
#line default
}
yyTop -= yyLen[yyN];
yyState = yyStates[yyTop];
int yyM = yyLhs[yyN];
if (yyState == 0 && yyM == 0) {
//t if (debug != null) debug.shift(0, yyFinal);
yyState = yyFinal;
if (yyToken < 0) {
yyToken = yyLex.advance() ? yyLex.token() : 0;
//t if (debug != null)
//t debug.lex(yyState, yyToken,yyname(yyToken), yyLex.value());
}
if (yyToken == 0) {
//t if (debug != null) debug.accept(yyVal);
return yyVal;
}
goto continue_yyLoop;
}
if (((yyN = yyGindex[yyM]) != 0) && ((yyN += yyState) >= 0)
&& (yyN < yyTable.Length) && (yyCheck[yyN] == yyState))
yyState = yyTable[yyN];
else
yyState = yyDgoto[yyM];
//t if (debug != null) debug.shift(yyStates[yyTop], yyState);
goto continue_yyLoop;
continue_yyDiscarded: continue; // implements the named-loop continue: 'continue yyDiscarded'
}
continue_yyLoop: continue; // implements the named-loop continue: 'continue yyLoop'
}
public static Parameters MergeGenerated (Parameters userParams, bool checkConflicts, Parameter compilerParams, Type compilerTypes)
{
return MergeGenerated (userParams, checkConflicts,
new Parameter [] { compilerParams },
new Type [] { compilerTypes });
}
public Indexer (Expression type, string int_type, int flags, Parameters parameters,
Accessor get_block, Accessor set_block, Attributes attrs, Location loc)
: base (type, "", flags, AllowedModifiers, parameters, get_block, set_block,
attrs, loc)
{
ExplicitInterfaceName = int_type;
}
//
// The spec claims that static is not permitted, but
// my very own code has static constructors.
//
public Constructor (string name, Parameters args, ConstructorInitializer init, Location l)
: base (null, 0, AllowedModifiers, name, null, args, l)
{
Initializer = init;
}
public ConstructorInitializer (ArrayList argument_list, Parameters parameters,
Location loc)
{
this.argument_list = argument_list;
this.parameters = parameters;
this.loc = loc;
}
public ToplevelBlock (Block parent, Parameters parameters, GenericMethod generic, Location start) :
this (parent, parameters, start)
{
this.generic = generic;
}
public ToplevelBlock (Block parent, Parameters parameters, Location start) :
this (parent, (Flags) 0, parameters, start)
{
}
public bool CheckExistingMembersOverloads (MemberCore member, string name, Parameters parameters)
{
ArrayList entries = (ArrayList)member_hash [name];
if (entries == null)
return true;
int method_param_count = parameters.Count;
for (int i = entries.Count - 1; i >= 0; --i) {
CacheEntry ce = (CacheEntry) entries [i];
if (ce.Container != member.Parent.PartialContainer)
return true;
Type [] p_types;
AParametersCollection pd;
if ((ce.EntryType & EntryType.Property) != 0) {
pd = TypeManager.GetParameterData ((PropertyInfo) ce.Member);
p_types = pd.Types;
} else {
MethodBase mb = (MethodBase) ce.Member;
#if GMCS_SOURCE
// TODO: This is more like a hack, because we are adding generic methods
// twice with and without arity name
if (mb.IsGenericMethod && !member.MemberName.IsGeneric)
continue;
#endif
pd = TypeManager.GetParameterData (mb);
p_types = pd.Types;
}
if (p_types.Length != method_param_count)
continue;
if (method_param_count > 0) {
int ii = method_param_count - 1;
Type type_a, type_b;
do {
type_a = parameters.Types [ii];
type_b = p_types [ii];
#if GMCS_SOURCE
if (type_a.IsGenericParameter && type_a.DeclaringMethod != null)
type_a = null;
if (type_b.IsGenericParameter && type_b.DeclaringMethod != null)
type_b = null;
#endif
if ((pd.FixedParameters [ii].ModFlags & Parameter.Modifier.ISBYREF) !=
(parameters.FixedParameters [ii].ModFlags & Parameter.Modifier.ISBYREF))
type_a = null;
} while (type_a == type_b && ii-- != 0);
if (ii >= 0)
continue;
//
// Operators can differ in return type only
//
if (member is Operator) {
Operator op = TypeManager.GetMethod ((MethodBase) ce.Member) as Operator;
if (op != null && op.ReturnType != ((Operator) member).ReturnType)
continue;
}
//
// Report difference in parameter modifiers only
//
if (pd != null && member is MethodCore) {
ii = method_param_count;
while (ii-- != 0 && parameters.FixedParameters [ii].ModFlags == pd.FixedParameters [ii].ModFlags &&
parameters.ExtensionMethodType == pd.ExtensionMethodType);
if (ii >= 0) {
MethodCore mc = TypeManager.GetMethod ((MethodBase) ce.Member) as MethodCore;
Report.SymbolRelatedToPreviousError (ce.Member);
if ((member.ModFlags & Modifiers.PARTIAL) != 0 && (mc.ModFlags & Modifiers.PARTIAL) != 0) {
if (parameters.HasParams || pd.HasParams) {
Report.Error (758, member.Location,
"A partial method declaration and partial method implementation cannot differ on use of `params' modifier");
} else {
Report.Error (755, member.Location,
"A partial method declaration and partial method implementation must be both an extension method or neither");
}
} else {
Report.Error (663, member.Location,
"An overloaded method `{0}' cannot differ on use of parameter modifiers only",
member.GetSignatureForError ());
}
return false;
}
}
}
if ((ce.EntryType & EntryType.Method) != 0) {
Method method_a = member as Method;
Method method_b = TypeManager.GetMethod ((MethodBase) ce.Member) as Method;
if (method_a != null && method_b != null && (method_a.ModFlags & method_b.ModFlags & Modifiers.PARTIAL) != 0) {
const int partial_modifiers = Modifiers.STATIC | Modifiers.UNSAFE;
if (method_a.IsPartialDefinition == method_b.IsPartialImplementation) {
if ((method_a.ModFlags & partial_modifiers) == (method_b.ModFlags & partial_modifiers) ||
method_a.Parent.IsInUnsafeScope && method_b.Parent.IsInUnsafeScope) {
if (method_a.IsPartialImplementation) {
method_a.SetPartialDefinition (method_b);
entries.RemoveAt (i);
} else {
method_b.SetPartialDefinition (method_a);
}
continue;
}
if ((method_a.ModFlags & Modifiers.STATIC) != (method_b.ModFlags & Modifiers.STATIC)) {
Report.SymbolRelatedToPreviousError (ce.Member);
Report.Error (763, member.Location,
"A partial method declaration and partial method implementation must be both `static' or neither");
}
Report.SymbolRelatedToPreviousError (ce.Member);
Report.Error (764, member.Location,
"A partial method declaration and partial method implementation must be both `unsafe' or neither");
return false;
}
Report.SymbolRelatedToPreviousError (ce.Member);
if (method_a.IsPartialDefinition) {
Report.Error (756, member.Location, "A partial method `{0}' declaration is already defined",
member.GetSignatureForError ());
}
Report.Error (757, member.Location, "A partial method `{0}' implementation is already defined",
member.GetSignatureForError ());
return false;
}
Report.SymbolRelatedToPreviousError (ce.Member);
IMethodData duplicate_member = TypeManager.GetMethod ((MethodBase) ce.Member);
if (member is Operator && duplicate_member is Operator) {
Report.Error (557, member.Location, "Duplicate user-defined conversion in type `{0}'",
member.Parent.GetSignatureForError ());
return false;
}
bool is_reserved_a = member is AbstractPropertyEventMethod || member is Operator;
bool is_reserved_b = duplicate_member is AbstractPropertyEventMethod || duplicate_member is Operator;
if (is_reserved_a || is_reserved_b) {
Report.Error (82, member.Location, "A member `{0}' is already reserved",
is_reserved_a ?
TypeManager.GetFullNameSignature (ce.Member) :
member.GetSignatureForError ());
return false;
}
} else {
Report.SymbolRelatedToPreviousError (ce.Member);
}
Report.Error (111, member.Location,
"A member `{0}' is already defined. Rename this member or use different parameter types",
member.GetSignatureForError ());
return false;
}
return true;
}
public ParameterReference (Parameters pars, int idx, string name, Location loc)
{
this.pars = pars;
this.idx = idx;
this.name = name;
this.loc = loc;
eclass = ExprClass.Variable;
}
public bool ResolveTopBlock (EmitContext anonymous_method_host, ToplevelBlock block,
Parameters ip, IMethodData md, out bool unreachable)
{
if (resolved) {
unreachable = this.unreachable;
return true;
}
current_phase = Phase.Resolving;
unreachable = false;
if (!loc.IsNull)
CurrentFile = loc.File;
#if PRODUCTION
try {
#endif
if (!block.ResolveMeta (this, ip))
return false;
using (this.With (EmitContext.Flags.DoFlowAnalysis, true)) {
FlowBranchingToplevel top_level;
if (anonymous_method_host != null)
top_level = new FlowBranchingToplevel (anonymous_method_host.CurrentBranching, block);
else
top_level = block.TopLevelBranching;
current_flow_branching = top_level;
bool ok = block.Resolve (this);
current_flow_branching = null;
if (!ok)
return false;
bool flow_unreachable = top_level.End ();
if (flow_unreachable)
this.unreachable = unreachable = true;
}
#if PRODUCTION
} catch (Exception e) {
Console.WriteLine ("Exception caught by the compiler while compiling:");
Console.WriteLine (" Block that caused the problem begin at: " + loc);
if (CurrentBlock != null){
Console.WriteLine (" Block being compiled: [{0},{1}]",
CurrentBlock.StartLocation, CurrentBlock.EndLocation);
}
Console.WriteLine (e.GetType ().FullName + ": " + e.Message);
throw;
}
#endif
if (return_type != TypeManager.void_type && !unreachable) {
if (CurrentAnonymousMethod == null) {
Report.Error (161, md.Location, "`{0}': not all code paths return a value", md.GetSignatureForError ());
return false;
} else if (!CurrentAnonymousMethod.IsIterator) {
Report.Error (1643, CurrentAnonymousMethod.Location, "Not all code paths return a value in anonymous method of type `{0}'",
CurrentAnonymousMethod.GetSignatureForError ());
return false;
}
}
resolved = true;
return true;
}
public AnonymousMethodBody (Parameters parameters,
ToplevelBlock block, Type return_type, Type delegate_type,
Location loc)
: base (block, return_type, loc)
{
this.type = delegate_type;
this.parameters = parameters;
}
public AnonymousMethodMethod (DeclSpace parent, AnonymousExpression am, AnonymousMethodStorey storey,
GenericMethod generic, TypeExpr return_type,
int mod, string real_name, MemberName name,
Parameters parameters)
: base (parent, generic, return_type, mod | Modifiers.COMPILER_GENERATED,
name, parameters, null)
{
this.AnonymousMethod = am;
this.Storey = storey;
this.RealName = real_name;
Parent.PartialContainer.AddMethod (this);
Block = am.Block;
}
public MethodCore (Expression type, int mod, int allowed_mod, string name,
Attributes attrs, Parameters parameters, Location loc)
: base (type, mod, allowed_mod, name, attrs, loc)
{
Parameters = parameters;
}
//
// return_type can be "null" for VOID values.
//
public Method (Expression return_type, int mod, string name, Parameters parameters,
Attributes attrs, Location l)
: base (return_type, mod, AllowedModifiers, name, attrs, parameters, l)
{ }
public ToplevelBlock (Parameters parameters, Location start) :
this (null, (Flags) 0, parameters, start)
{
}
public ConstructorThisInitializer (ArrayList argument_list, Parameters pars, Location l) :
base (argument_list, pars, l)
{
}
ToplevelBlock (Flags flags, Parameters parameters, Location start) :
this (null, flags, parameters, start)
{
}
public PropertyBase (Expression type, string name, int mod_flags, int allowed_mod,
Parameters parameters, Accessor get_block, Accessor set_block,
Attributes attrs, Location loc)
: base (type, mod_flags, allowed_mod, name, attrs, parameters, loc)
{
Get = get_block;
Set = set_block;
}
// We use 'Parent' to hook up to the containing block, but don't want to register the current block as a child.
// So, we use a two-stage setup -- first pass a null parent to the base constructor, and then override 'Parent'.
public ToplevelBlock (Block parent, Flags flags, Parameters parameters, Location start) :
base (null, flags, start, Location.Null)
{
this.Toplevel = this;
this.parameters = parameters;
this.Parent = parent;
if (parent != null)
parent.AddAnonymousChild (this);
if (!this.parameters.IsEmpty)
ProcessParameters ();
}
public override bool Define (TypeContainer parent)
{
PropertyAttributes prop_attr =
PropertyAttributes.RTSpecialName |
PropertyAttributes.SpecialName;
if (!DoDefine (parent))
return false;
IndexerName = Attribute.ScanForIndexerName (ec, OptAttributes);
if (IndexerName == null)
IndexerName = "Item";
else if (IsExplicitImpl)
Report.Error (592, Location,
"Attribute 'IndexerName' is not valid on this declaration " +
"type. It is valid on `property' declarations only.");
ShortName = IndexerName;
if (IsExplicitImpl) {
InterfaceIndexerName = TypeManager.IndexerPropertyName (InterfaceType);
Name = InterfaceType.FullName + "." + IndexerName;
} else {
InterfaceIndexerName = IndexerName;
Name = ShortName;
}
if (!CheckBase (parent))
return false;
flags |= MethodAttributes.HideBySig | MethodAttributes.SpecialName;
if (Get != null){
InternalParameters ip = new InternalParameters (parent, Parameters);
GetData = new MethodData (this, "get", MemberType,
ParameterTypes, ip, CallingConventions.Standard,
Get.OptAttributes, ModFlags, flags, false);
if (!GetData.Define (parent))
return false;
GetBuilder = GetData.MethodBuilder;
}
if (Set != null){
int top = ParameterTypes.Length;
Type [] set_pars = new Type [top + 1];
ParameterTypes.CopyTo (set_pars, 0);
set_pars [top] = MemberType;
Parameter [] fixed_parms = Parameters.FixedParameters;
if (fixed_parms == null){
throw new Exception ("We currently do not support only array arguments in an indexer");
// BUG BUG BUG BUG BUG BUG BUG BUG BUG BUG
// BUG BUG BUG BUG BUG BUG BUG BUG BUG BUG
//
// Here is the problem: the `value' parameter has
// to come *after* the array parameter in the declaration
// like this:
// X (object [] x, Type value)
// .param [0]
//
// BUG BUG BUG BUG BUG BUG BUG BUG BUG BUG
// BUG BUG BUG BUG BUG BUG BUG BUG BUG BUG
}
Parameter [] tmp = new Parameter [fixed_parms.Length + 1];
fixed_parms.CopyTo (tmp, 0);
tmp [fixed_parms.Length] = new Parameter (
Type, "value", Parameter.Modifier.NONE, null);
Parameters set_formal_params = new Parameters (tmp, null, Location);
InternalParameters ip = new InternalParameters (parent, set_formal_params);
SetData = new MethodData (this, "set", TypeManager.void_type,
set_pars, ip, CallingConventions.Standard,
Set.OptAttributes, ModFlags, flags, false);
if (!SetData.Define (parent))
return false;
SetBuilder = SetData.MethodBuilder;
}
//
// Now name the parameters
//
Parameter [] p = Parameters.FixedParameters;
if (p != null) {
int i;
for (i = 0; i < p.Length; ++i) {
if (Get != null)
GetBuilder.DefineParameter (
i + 1, p [i].Attributes, p [i].Name);
if (Set != null)
SetBuilder.DefineParameter (
i + 1, p [i].Attributes, p [i].Name);
}
if (Set != null)
SetBuilder.DefineParameter (
i + 1, ParameterAttributes.None, "value");
if (i != ParameterTypes.Length) {
Parameter array_param = Parameters.ArrayParameter;
SetBuilder.DefineParameter (
i + 1, array_param.Attributes, array_param.Name);
}
}
if (GetData != null)
IsImplementing = GetData.IsImplementing;
else if (SetData != null)
IsImplementing = SetData.IsImplementing;
//
// Define the PropertyBuilder if one of the following conditions are met:
// a) we're not implementing an interface indexer.
// b) the indexer has a different IndexerName and this is no
// explicit interface implementation.
//
if (!IsExplicitImpl) {
PropertyBuilder = parent.TypeBuilder.DefineProperty (
IndexerName, prop_attr, MemberType, ParameterTypes);
if (GetData != null)
PropertyBuilder.SetGetMethod (GetBuilder);
if (SetData != null)
PropertyBuilder.SetSetMethod (SetBuilder);
TypeManager.RegisterIndexer (PropertyBuilder, GetBuilder, SetBuilder,
ParameterTypes);
}
return true;
}
public bool ResolveMeta (EmitContext ec, Parameters ip)
{
int errors = Report.Errors;
int orig_count = parameters.Count;
if (top_level_branching != null)
return true;
if (ip != null)
parameters = ip;
// Assert: orig_count != parameter.Count => orig_count == 0
if (orig_count != 0 && orig_count != parameters.Count)
throw new InternalErrorException ("parameter information mismatch");
int offset = Parent == null ? 0 : Parent.AssignableSlots;
for (int i = 0; i < orig_count; ++i) {
Parameter.Modifier mod = parameters.FixedParameters [i].ModFlags;
if ((mod & Parameter.Modifier.OUT) != Parameter.Modifier.OUT)
continue;
VariableInfo vi = new VariableInfo (ip, i, offset);
parameter_info [i].VariableInfo = vi;
offset += vi.Length;
}
ResolveMeta (ec, offset);
top_level_branching = ec.StartFlowBranching (this);
return Report.Errors == errors;
}
//
// Use this method when you merge compiler generated parameters with user parameters
//
public static Parameters MergeGenerated (Parameters userParams, bool checkConflicts, Parameter[] compilerParams, Type[] compilerTypes)
{
Parameter[] all_params = new Parameter [userParams.Count + compilerParams.Length];
userParams.FixedParameters.CopyTo(all_params, 0);
Type [] all_types;
if (userParams.types != null) {
all_types = new Type [all_params.Length];
userParams.Types.CopyTo (all_types, 0);
} else {
all_types = null;
}
int last_filled = userParams.Count;
int index = 0;
foreach (Parameter p in compilerParams) {
for (int i = 0; i < last_filled; ++i) {
while (p.Name == all_params [i].Name) {
if (checkConflicts && i < userParams.Count) {
Report.Error (316, userParams [i].Location,
"The parameter name `{0}' conflicts with a compiler generated name", p.Name);
}
p.Name = '_' + p.Name;
}
}
all_params [last_filled] = p;
if (all_types != null)
all_types [last_filled] = compilerTypes [index++];
++last_filled;
}
Parameters parameters = new Parameters (all_params, all_types);
parameters.has_params = userParams.has_params;
return parameters;
}
public VariableInfo (Parameters ip, int i, int offset)
: this (ip.FixedParameters [i].Name, ip.Types [i], offset)
{
this.IsParameter = true;
}
public static string GetMethodDocCommentName (MemberCore mc, Parameters p, DeclSpace ds)
{
return "";
}
// MethodCore
//
// Returns a string that represents the signature for this
// member which should be used in XML documentation.
//
public static string GetMethodDocCommentName (MemberCore mc, Parameters parameters, DeclSpace ds)
{
IParameterData [] plist = parameters.FixedParameters;
string paramSpec = String.Empty;
if (plist != null) {
StringBuilder psb = new StringBuilder ();
int i = 0;
foreach (Parameter p in plist) {
psb.Append (psb.Length != 0 ? "," : "(");
psb.Append (GetSignatureForDoc (parameters.Types [i++]));
if ((p.ModFlags & Parameter.Modifier.ISBYREF) != 0)
psb.Append ('@');
}
paramSpec = psb.ToString ();
}
if (paramSpec.Length > 0)
paramSpec += ")";
string name = mc is Constructor ? "#ctor" : mc.Name;
#if GMCS_SOURCE
if (mc.MemberName.IsGeneric)
name += "``" + mc.MemberName.CountTypeArguments;
#endif
string suffix = String.Empty;
Operator op = mc as Operator;
if (op != null) {
switch (op.OperatorType) {
case Operator.OpType.Implicit:
case Operator.OpType.Explicit:
suffix = "~" + GetSignatureForDoc (op.MethodBuilder.ReturnType);
break;
}
}
return String.Concat (mc.DocCommentHeader, ds.Name, ".", name, paramSpec, suffix);
}
public LambdaMethod (Parameters parameters,
ToplevelBlock block, Type return_type, Type delegate_type,
Location loc)
: base (parameters, block, return_type, delegate_type, loc)
{
}
public GenericMethod (NamespaceEntry ns, DeclSpace parent, MemberName name,
FullNamedExpression return_type, Parameters parameters)
: base (ns, parent, name, null)
{
this.return_type = return_type;
this.parameters = parameters;
}
