/// value parameter that is passed to the "set" and "get"accesor
/// methods (properties and indexers).
/// </summary>
- Expression implicit_value_parameter_type;
+ FullNamedExpression implicit_value_parameter_type;
Parameters indexer_parameters;
/// <summary>
/// Hack to help create non-typed array initializer
/// </summary>
- public static Expression current_array_type;
- Expression pushed_current_array_type;
+ public static FullNamedExpression current_array_type;
+ FullNamedExpression pushed_current_array_type;
/// <summary>
/// Used to determine if we are parsing the get/set pair
static public int yacc_verbose_flag;
- // Name of the file we are parsing
- public string name;
-
///
/// The current file.
///
- SourceFile file;
+ CompilationUnit file;
///
/// Temporary Xml documentation cache.
Report.FeatureIsNotAvailable (lt.Location, "external alias");
} else {
lt = (LocatedToken) $3;
- current_namespace.UsingExternalAlias (lt.Value, lt.Location);
+ current_namespace.AddUsingExternalAlias (lt.Value, lt.Location);
}
}
;
namespace_or_type_name SEMICOLON
{
LocatedToken lt = (LocatedToken) $2;
- current_namespace.UsingAlias (lt.Value, (MemberName) $4, (Location) $1);
+ current_namespace.AddUsingAlias (lt.Value, (MemberName) $4, (Location) $1);
}
| USING error {
CheckIdentifierToken (yyToken, GetLocation ($2));
using_namespace_directive
: USING namespace_name SEMICOLON
{
- current_namespace.Using ((MemberName) $2, (Location) $1);
- }
+ current_namespace.AddUsing ((MemberName) $2, (Location) $1);
+ }
;
//
}
Const c = new Const (
- current_class, (Expression) $4, (string) constant.identifier,
+ current_class, (FullNamedExpression) $4, (string) constant.identifier,
(Expression) constant.expression_or_array_initializer, modflags,
(Attributes) $1, l);
variable_declarators
SEMICOLON
{
- Expression type = (Expression) $3;
+ FullNamedExpression type = (FullNamedExpression) $3;
int mod = (int) $2;
current_array_type = null;
fixed_variable_declarators
SEMICOLON
{
- Expression type = (Expression) $4;
+ FullNamedExpression type = (FullNamedExpression) $4;
int mod = (int) $2;
current_array_type = null;
GenericMethod generic = null;
if (name.TypeArguments != null) {
generic = new GenericMethod (current_namespace, current_class, name,
- (Expression) $3, current_local_parameters);
+ (FullNamedExpression) $3, current_local_parameters);
generic.SetParameterInfo ((ArrayList) $10);
}
- method = new Method (current_class, generic, (Expression) $3, (int) $2, false,
+ method = new Method (current_class, generic, (FullNamedExpression) $3, (int) $2, false,
name, current_local_parameters, (Attributes) $1);
anonymous_host = method;
ArrayList pars = (ArrayList) $1;
Parameter p = (Parameter)$3;
if (p != null) {
- if ((p.modFlags & Parameter.Modifier.This) != 0)
+ if (p.HasExtensionMethodModifier)
Report.Error (1100, p.Location, "The parameter modifier `this' can only be used on the first parameter");
pars.Add (p);
}
IDENTIFIER
{
LocatedToken lt = (LocatedToken) $4;
- $$ = new Parameter ((Expression) $3, lt.Value, (Parameter.Modifier) $2, (Attributes) $1, lt.Location);
+ $$ = new Parameter ((FullNamedExpression) $3, lt.Value, (Parameter.Modifier) $2, (Attributes) $1, lt.Location);
}
| opt_attributes
opt_parameter_modifier
: opt_attributes params_modifier type IDENTIFIER
{
LocatedToken lt = (LocatedToken) $4;
- $$ = new ParamsParameter ((Expression) $3, lt.Value, (Attributes) $1, lt.Location);
+ $$ = new ParamsParameter ((FullNamedExpression) $3, lt.Value, (Attributes) $1, lt.Location);
}
| opt_attributes params_modifier type error {
CheckIdentifierToken (yyToken, GetLocation ($4));
}
OPEN_BRACE
{
- implicit_value_parameter_type = (Expression) $3;
+ implicit_value_parameter_type = (FullNamedExpression) $3;
lexer.PropertyParsing = true;
}
if (name.TypeArguments != null)
syntax_error (lexer.Location, "a property can't have type arguments");
- prop = new Property (current_class, (Expression) $3, (int) $2, false,
+ prop = new Property (current_class, (FullNamedExpression) $3, (int) $2, false,
name, (Attributes) $1, get_block, set_block, accessors.declared_in_reverse, current_block);
current_container.AddProperty (prop);
Report.Error (531, (Location)$1,
"`{0}.{1}{2}': interface members cannot have a definition",
current_class.GetSignatureForError (),
- ((MemberName) $-0).ToString (),
+ ((MemberName) $-0).GetSignatureForError (),
((Parameters)$-4).GetSignatureForError ());
lexer.ConstraintsParsing = false;
GenericMethod generic = null;
if (name.TypeArguments != null) {
generic = new GenericMethod (current_namespace, current_class, name,
- (Expression) $3, (Parameters) $6);
+ (FullNamedExpression) $3, (Parameters) $6);
generic.SetParameterInfo ((ArrayList) $9);
}
- $$ = new Method (current_class, generic, (Expression) $3, (int) $2, true, name,
+ $$ = new Method (current_class, generic, (FullNamedExpression) $3, (int) $2, true, name,
(Parameters) $6, (Attributes) $1);
if (RootContext.Documentation != null)
((Method) $$).DocComment = Lexer.consume_doc_comment ();
OPEN_BRACE
{
lexer.PropertyParsing = true;
- implicit_value_parameter_type = (Expression)$3;
+ implicit_value_parameter_type = (FullNamedExpression)$3;
}
accessor_declarations
{
Property p = null;
if ($7 == null) {
- p = new Property (current_class, (Expression) $3, (int) $2, true,
+ p = new Property (current_class, (FullNamedExpression) $3, (int) $2, true,
name, (Attributes) $1,
null, null, false);
}
Accessors accessor = (Accessors) $7;
- p = new Property (current_class, (Expression) $3, (int) $2, true,
+ p = new Property (current_class, (FullNamedExpression) $3, (int) $2, true,
name, (Attributes) $1,
accessor.get_or_add, accessor.set_or_remove, accessor.declared_in_reverse);
: opt_attributes opt_new EVENT type IDENTIFIER SEMICOLON
{
LocatedToken lt = (LocatedToken) $5;
- $$ = new EventField (current_class, (Expression) $4, (int) $2, true,
+ $$ = new EventField (current_class, (FullNamedExpression) $4, (int) $2, true,
new MemberName (lt.Value, lt.Location),
(Attributes) $1);
if (RootContext.Documentation != null)
}
| opt_attributes opt_new EVENT type IDENTIFIER OPEN_BRACE
{
- implicit_value_parameter_type = (Expression) $4;
+ implicit_value_parameter_type = (FullNamedExpression) $4;
lexer.EventParsing = true;
}
event_accessor_declarations
OPEN_BRACE
{
lexer.PropertyParsing = true;
- implicit_value_parameter_type = (Expression)$3;
+ implicit_value_parameter_type = (FullNamedExpression)$3;
}
accessor_declarations
{
{
Indexer i = null;
if ($10 == null) {
- i = new Indexer (current_class, (Expression) $3,
+ i = new Indexer (current_class, (FullNamedExpression) $3,
new MemberName (TypeContainer.DefaultIndexerName, (Location) $4),
(int) $2, true, (Parameters) $6, (Attributes) $1,
null, null, false);
}
Accessors accessors = (Accessors) $10;
- i = new Indexer (current_class, (Expression) $3,
+ i = new Indexer (current_class, (FullNamedExpression) $3,
new MemberName (TypeContainer.DefaultIndexerName, (Location) $4),
(int) $2, true, (Parameters) $6, (Attributes) $1,
accessors.get_or_add, accessors.set_or_remove, accessors.declared_in_reverse);
Lexer.doc_state = XmlCommentState.NotAllowed;
}
- $$ = new OperatorDeclaration (op, (Expression) $1, loc);
+ $$ = new OperatorDeclaration (op, (FullNamedExpression) $1, loc);
}
| conversion_operator_declarator
;
Lexer.doc_state = XmlCommentState.NotAllowed;
}
- $$ = new OperatorDeclaration (Operator.OpType.Implicit, (Expression) $3, loc);
+ $$ = new OperatorDeclaration (Operator.OpType.Implicit, (FullNamedExpression) $3, loc);
}
| EXPLICIT OPERATOR type open_parens
{
Lexer.doc_state = XmlCommentState.NotAllowed;
}
- $$ = new OperatorDeclaration (Operator.OpType.Explicit, (Expression) $3, loc);
+ $$ = new OperatorDeclaration (Operator.OpType.Explicit, (FullNamedExpression) $3, loc);
}
| IMPLICIT error
{
c.Block = (ToplevelBlock) $4;
c.OptAttributes = (Attributes) $1;
int yield_method = c.ModFlags & Modifiers.METHOD_YIELDS;
- c.ModFlags = (int) $2;
-
+ int mods = (int) $2;
+
if (RootContext.Documentation != null)
c.DocComment = ConsumeStoredComment ();
- if (c.Name == current_container.Basename){
- if ((c.ModFlags & Modifiers.STATIC) != 0){
- if ((c.ModFlags & Modifiers.Accessibility) != 0){
- Report.Error (515, c.Location,
- "`{0}': access modifiers are not allowed on static constructors",
- c.GetSignatureForError ());
- }
-
- c.ModFlags = Modifiers.Check (Constructor.AllowedModifiers, (int) $2, Modifiers.PRIVATE, c.Location);
+ if ((mods & Modifiers.STATIC) != 0 && c.Name == current_container.Basename) {
+ if ((mods & Modifiers.Accessibility) != 0){
+ Report.Error (515, c.Location,
+ "`{0}': access modifiers are not allowed on static constructors",
+ c.GetSignatureForError ());
+ }
- if (c.Initializer != null){
- Report.Error (514, c.Location,
- "`{0}': static constructor cannot have an explicit `this' or `base' constructor call",
- c.GetSignatureForError ());
- }
- } else {
- c.ModFlags = Modifiers.Check (Constructor.AllowedModifiers, (int) $2, Modifiers.PRIVATE, c.Location);
+ if (c.Initializer != null){
+ Report.Error (514, c.Location,
+ "`{0}': static constructor cannot have an explicit `this' or `base' constructor call",
+ c.GetSignatureForError ());
}
- } else {
- // We let another layer check the validity of the constructor.
- //Console.WriteLine ("{0} and {1}", c.Name, current_container.Basename);
}
- c.ModFlags |= yield_method;
+ c.ModFlags = Modifiers.Check (Constructor.AllowedModifiers, mods, Modifiers.PRIVATE, c.Location) | yield_method;
current_container.AddConstructor (c);
current_local_parameters = null;
var.Location);
EventField e = new EventField (
- current_class, (Expression) $4, (int) $2, false, name,
+ current_class, (FullNamedExpression) $4, (int) $2, false, name,
(Attributes) $1);
e.Initializer = var.expression_or_array_initializer;
EVENT type namespace_or_type_name
OPEN_BRACE
{
- implicit_value_parameter_type = (Expression) $4;
+ implicit_value_parameter_type = (FullNamedExpression) $4;
lexer.EventParsing = true;
}
event_accessor_declarations
if ($8 == null){
Report.Error (65, (Location) $3, "`{0}.{1}': event property must have both add and remove accessors",
- current_container.Name, name.ToString ());
+ current_container.Name, name.GetSignatureForError ());
$$ = null;
} else {
Accessors accessors = (Accessors) $8;
$$ = null;
else {
Event e = new EventProperty (
- current_class, (Expression) $4, (int) $2, false, name,
+ current_class, (FullNamedExpression) $4, (int) $2, false, name,
(Attributes) $1, accessors.get_or_add, accessors.set_or_remove);
if (RootContext.Documentation != null) {
e.DocComment = Lexer.consume_doc_comment ();
Lexer.doc_state = XmlCommentState.Allowed;
}
- $$ = new IndexerDeclaration ((Expression) $1, null, pars, (Location) $2);
+ $$ = new IndexerDeclaration ((FullNamedExpression) $1, null, pars, (Location) $2);
}
| type namespace_or_type_name DOT THIS OPEN_BRACKET opt_formal_parameter_list CLOSE_BRACKET
{
}
MemberName name = (MemberName) $2;
- $$ = new IndexerDeclaration ((Expression) $1, name, pars, (Location) $4);
+ $$ = new IndexerDeclaration ((FullNamedExpression) $1, name, pars, (Location) $4);
if (RootContext.Documentation != null) {
tmpComment = Lexer.consume_doc_comment ();
Location enum_location = lt.Location;
MemberName name = MakeName (new MemberName (lt.Value, enum_location));
- Enum e = new Enum (current_namespace, current_class, (Expression) $5, (int) $2,
+ Enum e = new Enum (current_namespace, current_class, (FullNamedExpression) $5, (int) $2,
name, (Attributes) $1);
if (RootContext.Documentation != null)
: opt_attributes
opt_modifiers
DELEGATE
- {
- lexer.ConstraintsParsing = true;
- }
type type_name
open_parens opt_formal_parameter_list CLOSE_PARENS
{
- MemberName name = MakeName ((MemberName) $6);
- Parameters p = (Parameters) $8;
+ MemberName name = MakeName ((MemberName) $5);
+ Parameters p = (Parameters) $7;
- Delegate del = new Delegate (current_namespace, current_class, (Expression) $5,
+ Delegate del = new Delegate (current_namespace, current_class, (FullNamedExpression) $4,
(int) $2, name, p, (Attributes) $1);
if (RootContext.Documentation != null) {
current_container.AddDelegate (del);
current_delegate = del;
+ lexer.ConstraintsParsing = true;
}
opt_type_parameter_constraints_clauses
{
}
SEMICOLON
{
- current_delegate.SetParameterInfo ((ArrayList) $11);
+ current_delegate.SetParameterInfo ((ArrayList) $10);
$$ = current_delegate;
current_delegate = null;
}
| INTERR
{
- if (RootContext.Version < LanguageVersion.ISO_2)
- Report.FeatureIsNotAvailable (lexer.Location, "nullable types");
+ // FIXME: A hack with parsing conditional operator as nullable type
+ //if (RootContext.Version < LanguageVersion.ISO_2)
+ // Report.FeatureIsNotAvailable (lexer.Location, "nullable types");
lexer.CheckNullable (true);
$$ = true;
| IDENTIFIER DOUBLE_COLON IDENTIFIER opt_type_argument_list {
LocatedToken lt1 = (LocatedToken) $1;
LocatedToken lt2 = (LocatedToken) $3;
- $$ = new MemberName (lt1.Value, lt2.Value, (TypeArguments) $4, lt2.Location);
+ if (RootContext.Version == LanguageVersion.ISO_1)
+ Report.FeatureIsNotAvailable (lt1.Location, "namespace alias qualifier");
+
+ $$ = new MemberName (lt1.Value, lt2.Value, (TypeArguments) $4, lt1.Location);
}
| namespace_or_type_name DOT IDENTIFIER opt_type_argument_list {
LocatedToken lt = (LocatedToken) $3;
: /* empty */ { $$ = null; }
| OP_GENERICS_LT type_arguments OP_GENERICS_GT
{
- if (RootContext.Version == LanguageVersion.ISO_1)
- Report.FeatureIsNotAvailable (lexer.Location, "generics");
+ if (RootContext.Version < LanguageVersion.ISO_2)
+ Report.FeatureIsNotAvailable (GetLocation ($1), "generics");
$$ = $2;
}
: /* empty */ { $$ = null; }
| OP_GENERICS_LT type_arguments OP_GENERICS_GT
{
- if (RootContext.Version == LanguageVersion.ISO_1)
- Report.FeatureIsNotAvailable (lexer.Location, "generics");
+ if (RootContext.Version < LanguageVersion.ISO_2)
+ Report.FeatureIsNotAvailable (GetLocation ($1), "generics");
$$ = $2;
}
if ((bool) $2) {
$$ = new ComposedCast (name.GetTypeExpression (), "?", lexer.Location);
} else {
- if (RootContext.Version > LanguageVersion.ISO_2 && name.Name == "var")
+ if (RootContext.Version > LanguageVersion.ISO_2 && name.Left == null && name.Name == "var")
$$ = new VarExpr (name.Location);
else
$$ = name.GetTypeExpression ();
| builtin_types opt_nullable
{
if ((bool) $2)
- $$ = new ComposedCast ((Expression) $1, "?", lexer.Location);
+ $$ = new ComposedCast ((FullNamedExpression) $1, "?", lexer.Location);
}
| array_type
| pointer_type
// can't perform checks during this phase - we do it during
// semantic analysis.
//
- $$ = new ComposedCast ((Expression) $1, "*", Lexer.Location);
+ $$ = new ComposedCast ((FullNamedExpression) $1, "*", Lexer.Location);
}
| VOID STAR
{
: builtin_types opt_nullable
{
if ((bool) $2)
- $$ = new ComposedCast ((Expression) $1, "?", lexer.Location);
+ $$ = new ComposedCast ((FullNamedExpression) $1, "?", lexer.Location);
}
| non_expression_type rank_specifier
{
Location loc = GetLocation ($1);
if (loc.IsNull)
loc = lexer.Location;
- $$ = new ComposedCast ((Expression) $1, (string) $2, loc);
+ $$ = new ComposedCast ((FullNamedExpression) $1, (string) $2, loc);
}
| non_expression_type STAR
{
Location loc = GetLocation ($1);
if (loc.IsNull)
loc = lexer.Location;
- $$ = new ComposedCast ((Expression) $1, "*", loc);
- }
- | expression rank_specifiers
- {
- $$ = new ComposedCast ((Expression) $1, (string) $2);
- }
- | expression STAR
- {
- $$ = new ComposedCast ((Expression) $1, "*");
+ $$ = new ComposedCast ((FullNamedExpression) $1, "*", loc);
}
//
//
| multiplicative_expression STAR
{
- $$ = new ComposedCast ((Expression) $1, "*");
+ FullNamedExpression e = $1 as FullNamedExpression;
+ if (e != null)
+ $$ = new ComposedCast (e, "*");
+ else
+ Error_TypeExpected (GetLocation ($1));
}
;
type_list
- : type
+ : base_type_name
{
- ArrayList types = new ArrayList (4);
-
+ ArrayList types = new ArrayList (2);
types.Add ($1);
$$ = types;
}
- | type_list COMMA type
+ | type_list COMMA base_type_name
{
ArrayList types = (ArrayList) $1;
-
types.Add ($3);
$$ = types;
}
;
+base_type_name
+ : type
+ {
+ if ($1 is ComposedCast)
+ Report.Error (1521, GetLocation ($1), "Invalid base type `{0}'", ((ComposedCast)$1).GetSignatureForError ());
+ $$ = $1;
+ }
+ ;
+
/*
* replaces all the productions for isolating the various
* simple types, but we need this to reuse it easily in local_variable_type
if ((bool) $3)
rank_specifiers += "?";
- $$ = current_array_type = new ComposedCast ((Expression) $1, rank_specifiers);
+ $$ = current_array_type = new ComposedCast ((FullNamedExpression) $1, rank_specifiers);
}
;
MemberName mn = (MemberName) $1;
$$ = mn.GetTypeExpression ();
}
- | IDENTIFIER DOUBLE_COLON IDENTIFIER
+ | IDENTIFIER DOUBLE_COLON IDENTIFIER opt_type_argument_list
{
LocatedToken lt1 = (LocatedToken) $1;
LocatedToken lt2 = (LocatedToken) $3;
- $$ = new QualifiedAliasMember (lt1.Value, lt2.Value, lt2.Location);
+ if (RootContext.Version == LanguageVersion.ISO_1)
+ Report.FeatureIsNotAvailable (lt1.Location, "namespace alias qualifier");
+
+ $$ = new QualifiedAliasMember (lt1.Value, lt2.Value, (TypeArguments) $4, lt1.Location);
}
| parenthesized_expression
| default_value_expression
Expression expr = (Expression) $1;
if (expr is ComposedCast){
- $$ = new ComposedCast (expr, (string) $2);
- } else if (!(expr is SimpleName || expr is MemberAccess || expr is ConstructedType || expr is QualifiedAliasMember)){
- Error_ExpectingTypeName (expr);
- $$ = TypeManager.system_object_expr;
- } else {
+ $$ = new ComposedCast ((ComposedCast)expr, (string) $2);
+ } else if (expr is ATypeNameExpression){
//
// So we extract the string corresponding to the SimpleName
// or MemberAccess
//
- $$ = new ComposedCast (expr, (string) $2);
+ $$ = new ComposedCast ((ATypeNameExpression)expr, (string) $2);
+ } else {
+ Error_ExpectingTypeName (expr);
+ $$ = TypeManager.system_object_expr;
}
- current_array_type = (Expression)$$;
+
+ current_array_type = (FullNamedExpression)$$;
}
;
opt_rank_specifier
opt_array_initializer
{
- $$ = new ArrayCreation ((Expression) $2, (ArrayList) $4, (string) $6, (ArrayList) $7, (Location) $1);
+ $$ = new ArrayCreation ((FullNamedExpression) $2, (ArrayList) $4, (string) $6, (ArrayList) $7, (Location) $1);
}
| NEW type rank_specifiers array_initializer
{
- $$ = new ArrayCreation ((Expression) $2, (string) $3, (ArrayList) $4, (Location) $1);
+ $$ = new ArrayCreation ((FullNamedExpression) $2, (string) $3, (ArrayList) $4, (Location) $1);
}
| NEW rank_specifiers array_initializer
{
;
anonymous_type_expression
- : NEW OPEN_BRACE anonymous_type_parameters CLOSE_BRACE
+ : NEW OPEN_BRACE anonymous_type_parameters_opt_comma CLOSE_BRACE
{
if (RootContext.Version <= LanguageVersion.ISO_2)
Report.FeatureIsNotAvailable (GetLocation ($1), "anonymous types");
}
;
-anonymous_type_parameters
+anonymous_type_parameters_opt_comma
+ : anonymous_type_parameters_opt
+ | anonymous_type_parameters COMMA
+ ;
+
+anonymous_type_parameters_opt
: { $$ = null; }
- | anonymous_type_parameter
+ | anonymous_type_parameters
+ ;
+
+anonymous_type_parameters
+ : anonymous_type_parameter
{
ArrayList a = new ArrayList (4);
a.Add ($1);
| member_access
{
MemberAccess ma = (MemberAccess) $1;
- $$ = new AnonymousTypeParameter (ma, ma.Identifier, ma.Location);
+ $$ = new AnonymousTypeParameter (ma, ma.Name, ma.Location);
}
| error
{
unbound_type_name
: IDENTIFIER GENERIC_DIMENSION
{
- if (RootContext.Version == LanguageVersion.ISO_1)
+ if (RootContext.Version < LanguageVersion.ISO_2)
Report.FeatureIsNotAvailable (lexer.Location, "generics");
LocatedToken lt = (LocatedToken) $1;
lt = (LocatedToken) $3;
TypeArguments ta = new TypeArguments ((int)$4, lt.Location);
+ if (RootContext.Version == LanguageVersion.ISO_1)
+ Report.FeatureIsNotAvailable (lt.Location, "namespace alias qualifier");
+
$$ = new MemberName (left, lt.Value, ta, lt.Location);
}
| unbound_type_name DOT IDENTIFIER GENERIC_DIMENSION
Expression deref;
LocatedToken lt = (LocatedToken) $3;
- deref = new Unary (Unary.Operator.Indirection, (Expression) $1, lt.Location);
+ deref = new Indirection ((Expression) $1, lt.Location);
$$ = new MemberAccess (deref, lt.Value);
}
;
}
| STAR prefixed_unary_expression
{
- $$ = new Unary (Unary.Operator.Indirection, (Expression) $2, (Location) $1);
+ $$ = new Indirection ((Expression) $2, (Location) $1);
}
| BITWISE_AND prefixed_unary_expression
{
}
| conditional_or_expression OP_COALESCING expression
{
+ if (RootContext.Version < LanguageVersion.ISO_2)
+ Report.FeatureIsNotAvailable (GetLocation ($2), "null coalescing operator");
+
$$ = new Nullable.NullCoalescingOperator ((Expression) $1, (Expression) $3, lexer.Location);
}
// We'll be resolved into a `parenthesized_expression_0' later on.
| conditional_or_expression INTERR CLOSE_PARENS
{
- $$ = new ComposedCast ((Expression) $1, "?", lexer.Location);
+ $$ = new ComposedCast ((FullNamedExpression) $1, "?", lexer.Location);
lexer.PutbackCloseParens ();
}
;
assignment_expression
: prefixed_unary_expression ASSIGN expression
{
- $$ = new Assign ((Expression) $1, (Expression) $3);
+ $$ = new SimpleAssign ((Expression) $1, (Expression) $3);
}
| prefixed_unary_expression OP_MULT_ASSIGN expression
{
{
LocatedToken lt = (LocatedToken) $3;
- $$ = new Parameter ((Expression) $2, lt.Value, (Parameter.Modifier) $1, null, lt.Location);
+ $$ = new Parameter ((FullNamedExpression) $2, lt.Value, (Parameter.Modifier) $1, null, lt.Location);
}
| type IDENTIFIER
{
LocatedToken lt = (LocatedToken) $2;
- $$ = new Parameter ((Expression) $1, lt.Value, Parameter.Modifier.NONE, null, lt.Location);
+ $$ = new Parameter ((FullNamedExpression) $1, lt.Value, Parameter.Modifier.NONE, null, lt.Location);
}
| IDENTIFIER
{
// Foo.Bar.Blah i;
// SimpleName is when you have
// Blah i;
-
- Expression expr = (Expression) $1;
- SimpleName sn = expr as SimpleName;
- if (!(sn != null || expr is MemberAccess || expr is ComposedCast || expr is ConstructedType || expr is QualifiedAliasMember)) {
- Error_ExpectingTypeName (expr);
- $$ = null;
- } else {
+
+ Expression expr = (Expression) $1;
+ if (expr is ComposedCast){
+ $$ = new ComposedCast ((ComposedCast)expr, (string) $2);
+ } else if (expr is ATypeNameExpression){
//
// So we extract the string corresponding to the SimpleName
// or MemberAccess
- //
-
+ //
+
if ((string) $2 == "") {
+ SimpleName sn = expr as SimpleName;
if (sn != null && RootContext.Version > LanguageVersion.ISO_2 && sn.Name == "var")
$$ = new VarExpr (sn.Location);
else
$$ = $1;
- } else
- $$ = new ComposedCast ((Expression) $1, (string) $2);
+ } else {
+ $$ = new ComposedCast ((ATypeNameExpression)expr, (string) $2);
+ }
+ } else {
+ Error_ExpectingTypeName (expr);
+ $$ = TypeManager.system_object_expr;
}
}
| builtin_types opt_rank_specifier_or_nullable
if ((string) $2 == "")
$$ = $1;
else
- $$ = current_array_type = new ComposedCast ((Expression) $1, (string) $2, lexer.Location);
+ $$ = current_array_type = new ComposedCast ((FullNamedExpression) $1, (string) $2, lexer.Location);
}
;
local_variable_pointer_type
: primary_expression STAR
{
- Expression expr = (Expression) $1;
-
- if (!(expr is SimpleName || expr is MemberAccess || expr is ComposedCast || expr is ConstructedType || expr is QualifiedAliasMember)) {
- Error_ExpectingTypeName (expr);
+ ATypeNameExpression expr = $1 as ATypeNameExpression;
- $$ = null;
- } else
- $$ = new ComposedCast ((Expression) $1, "*");
+ if (expr != null) {
+ $$ = new ComposedCast (expr, "*");
+ } else {
+ Error_ExpectingTypeName ((Expression)$1);
+ $$ = expr;
+ }
}
| builtin_types STAR
{
- $$ = new ComposedCast ((Expression) $1, "*", lexer.Location);
+ $$ = new ComposedCast ((FullNamedExpression) $1, "*", lexer.Location);
}
| VOID STAR
{
}
| local_variable_pointer_type STAR
{
- $$ = new ComposedCast ((Expression) $1, "*");
+ $$ = new ComposedCast ((FullNamedExpression) $1, "*");
}
;
if ((string) $2 == "")
t = (Expression) $1;
else
- t = new ComposedCast ((Expression) $1, (string) $2);
+ t = new ComposedCast ((FullNamedExpression) $1, (string) $2);
$$ = new DictionaryEntry (t, $3);
} else
$$ = null;
var = new LocalVariableReference (assign_block, decl.identifier, l);
if (expr != null) {
- Assign a = new Assign (var, expr, decl.Location);
+ Assign a = new SimpleAssign (var, expr, decl.Location);
assign_block.AddStatement (new StatementExpression (a));
}
;
try_statement
- : TRY block catch_clauses
+ : TRY block catch_clauses
{
- Catch g = null;
-
- ArrayList c = (ArrayList)$3;
- for (int i = 0; i < c.Count; ++i) {
- Catch cc = (Catch) c [i];
- if (cc.IsGeneral) {
- if (i != c.Count - 1)
- Report.Error (1017, cc.loc, "Try statement already has an empty catch block");
- g = cc;
- c.RemoveAt (i);
- i--;
- }
- }
-
- // Now s contains the list of specific catch clauses
- // and g contains the general one.
-
- $$ = new Try ((Block) $2, c, g, null, ((Block) $2).loc);
+ $$ = new TryCatch ((Block) $2, (ArrayList) $3, (Location) $1, false);
}
- | TRY block opt_catch_clauses FINALLY block
+ | TRY block FINALLY block
{
- Catch g = null;
- ArrayList s = new ArrayList (4);
- ArrayList catch_list = (ArrayList) $3;
-
- if (catch_list != null){
- foreach (Catch cc in catch_list) {
- if (cc.IsGeneral)
- g = cc;
- else
- s.Add (cc);
- }
- }
-
- $$ = new Try ((Block) $2, s, g, (Block) $5, ((Block) $2).loc);
+ $$ = new TryFinally ((Statement) $2, (Block) $4, (Location) $1);
+ }
+ | TRY block catch_clauses FINALLY block
+ {
+ $$ = new TryFinally (new TryCatch ((Block) $2, (ArrayList) $3, (Location) $1, true), (Block) $5, (Location) $1);
}
| TRY block error
{
}
;
-opt_catch_clauses
- : /* empty */ { $$ = null; }
- | catch_clauses
- ;
-
catch_clauses
: catch_clause
{
opt_catch_args
: /* empty */ { $$ = null; }
- | catch_args
+ | catch_args
;
catch_args
- : open_parens type opt_identifier CLOSE_PARENS
- {
+ : OPEN_PARENS type opt_identifier CLOSE_PARENS
+ {
$$ = new DictionaryEntry ($2, $3);
}
- ;
-
+ | OPEN_PARENS CLOSE_PARENS
+ {
+ Report.Error (1015, GetLocation ($1), "A type that derives from `System.Exception', `object', or `string' expected");
+ }
+ ;
checked_statement
: CHECKED block
;
using_statement
- : USING open_parens resource_acquisition CLOSE_PARENS
+ : USING open_parens local_variable_declaration CLOSE_PARENS
{
start_block (lexer.Location);
Block assign_block = current_block;
- if ($3 is DictionaryEntry){
- DictionaryEntry de = (DictionaryEntry) $3;
- Location l = (Location) $1;
-
- Expression type = (Expression) de.Key;
- ArrayList var_declarators = (ArrayList) de.Value;
+ DictionaryEntry de = (DictionaryEntry) $3;
+ Location l = (Location) $1;
- ArrayList vars = new ArrayList (4);
+ Expression type = (Expression) de.Key;
+ ArrayList var_declarators = (ArrayList) de.Value;
- foreach (VariableDeclaration decl in var_declarators){
+ Stack vars = new Stack ();
- LocalInfo vi = current_block.AddVariable (type, decl.identifier, decl.Location);
- if (vi == null)
- continue;
- vi.SetReadOnlyContext (LocalInfo.ReadOnlyContext.Using);
+ 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");
- }
+ 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;
- LocalVariableReference var;
+ // Get a writable reference to this read-only variable.
+ var = new LocalVariableReference (assign_block, decl.identifier, l, vi, false);
- // 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;
- // This is so that it is not a warning on using variables
- vi.Used = true;
+ vars.Push (new DictionaryEntry (var, expr));
- vars.Add (new DictionaryEntry (var, expr));
+ // Assign a = new SimpleAssign (var, expr, decl.Location);
+ // assign_block.AddStatement (new StatementExpression (a));
+ }
- // Assign a = new Assign (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.
+ $$ = vars;
+ }
+ embedded_statement
+ {
+ Statement stmt = (Statement) $6;
+ Stack vars = (Stack) $5;
+ Location l = (Location) $1;
- // 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.
- $$ = new DictionaryEntry (type, vars);
- } else {
- $$ = $3;
- }
- }
+ while (vars.Count > 0) {
+ DictionaryEntry de = (DictionaryEntry) vars.Pop ();
+ stmt = new Using ((Expression) de.Key, (Expression) de.Value, stmt, l);
+ }
+ current_block.AddStatement (stmt);
+ $$ = end_block (lexer.Location);
+ }
+ | USING open_parens expression CLOSE_PARENS
+ {
+ start_block (lexer.Location);
+ }
embedded_statement
{
- Using u = new Using ($5, (Statement) $6, (Location) $1);
- current_block.AddStatement (u);
+ current_block.AddStatement (new UsingTemporary ((Expression) $3, (Statement) $6, (Location) $1));
$$ = end_block (lexer.Location);
}
;
-resource_acquisition
- : local_variable_declaration
- | expression
- ;
-
// LINQ
// A class used to hold info about an indexer declarator
// </summary>
public class IndexerDeclaration {
- public Expression type;
+ public FullNamedExpression type;
public MemberName interface_type;
public Parameters param_list;
public Location location;
- public IndexerDeclaration (Expression type, MemberName interface_type,
+ public IndexerDeclaration (FullNamedExpression type, MemberName interface_type,
Parameters param_list, Location loc)
{
this.type = type;
// </summary>
struct OperatorDeclaration {
public readonly Operator.OpType optype;
- public readonly Expression ret_type;
+ public readonly FullNamedExpression ret_type;
public readonly Location location;
- public OperatorDeclaration (Operator.OpType op, Expression ret_type, Location location)
+ public OperatorDeclaration (Operator.OpType op, FullNamedExpression ret_type, Location location)
{
optype = op;
this.ret_type = ret_type;
LocalVariableReference var;
var = new LocalVariableReference (implicit_block, decl.identifier, loc);
- assign = new Assign (var, expr, decl.Location);
+ assign = new SimpleAssign (var, expr, decl.Location);
implicit_block.AddStatement (new StatementExpression (assign));
}
oob_stack = new Stack ();
}
-public CSharpParser (SeekableStreamReader reader, SourceFile file, ArrayList defines)
+public CSharpParser (SeekableStreamReader reader, CompilationUnit file, ArrayList defines)
{
- this.name = file.Name;
this.file = file;
current_namespace = new NamespaceEntry (null, file, null);
current_class = current_namespace.SlaveDeclSpace;
projects / mono.git / blobdiff