//
// Mono.MonoBASIC.Parser.cs (from .jay): The Parser for the MonoBASIC compiler
//
-// Author: A Rafael D Teixeira (rafaelteixeirabr@hotmail.com)
-// Anirban Bhattacharjee (banirban@novell.com)
+// Authors: A Rafael D Teixeira (rafaelteixeirabr@hotmail.com)
+// Anirban Bhattacharjee (banirban@novell.com)
+// Jambunathan K (kjambunathan@novell.com)
+// Manjula GHM (mmanjula@novell.com)
+// Sudharsan V (vsudharsan@novell.com)
//
// Licensed under the terms of the GNU GPL
//
-// Copyright (C) 2001 A Rafael D Teixeira
+// Copyright (C) 2001, 2002, 2003, 2004 A Rafael D Teixeira
+// Copyright (C) 2003, 2004 Novell
//
//
-
namespace Mono.MonoBASIC
{
using System.Text;
{
+
/// <summary>
/// Current block is used to add statements as we find
/// them.
// </summary>
Expression set_implicit_value_parameter_type;
- Location member_location;
-
// An out-of-band stack.
//
Stack oob_stack;
ArrayList current_rank_specifiers;
+ //To handle the End of a block
+ // We use grammer, priority, strings, and an integer called Parenta
+ //
+ // FIX ME: Need to implement some better method than this and in
+ // some cases parser will come out without proceding further
+ // if it comes acorss error.
+
+ public string[] end_blocks = {"Nothing", "Next", "Loop", "End If", "End Sub", "End Module", "End Namespace", "End Class", "End Function", "End Structure", "End Enum", "End Interface", "End Property", "End With", "End Synclock", "End Try", "End While", "End Select", "End Set", "End Get"};
+
+ public string[] open_blocks = {"Block", "For", "Do", "If", "Sub", "Module", "Namespace", "Class", "Function", "Structure", "Enum", "Interface", "Property", "With", "Synclock", "Try", "While", "Select", "Set", "Get","\nCompilation failed"};
+
+ public int[] error_numbers = {29999, 30092, 30091, 30087, 30429, 30622, 30623, 30460, 30430, 30621, 30184, 30252, 30431, 30093, 30674, 30383, 30090, 30088, 30632, 30630, 29999};
+
+ public int[] end_priority = {0,1,1,1,2,3,4,3,2,3,1,2,2,1,1,1,1,1,1,1,1};
+
+ int Parent = 0;
+ Location try_top;
+
DoOptions do_type;
//
// Switch stack.
// are not broken.
public void HandleToken(IfElseStateMachine.Token tok)
- {
+ {
err = (int) errTable[(int)state, (int)tok];
if(err != 0)
{
public bool CanAcceptTokens;
public bool CanSelectBlock;
-
}
State currentState;
}
}
}
+
+ bool allow_global_attribs = true;
+
+ bool expecting_global_attribs = false;
+ bool expecting_local_attribs = false;
+
+ bool local_attrib_section_added = false;
%}
%token EOF
%token OP_NE "<>"
%token OP_XOR "xor"
//%token OP_MODULUS //"mod"
-%token OP_MULT_ASSIGN "*="
-%token OP_DIV_ASSIGN "/="
-%token OP_IDIV_ASSIGN "\\="
-%token OP_ADD_ASSIGN "+="
-%token OP_SUB_ASSIGN "-="
-%token OP_CONCAT_ASSIGN "&="
-%token OP_EXP_ASSIGN "^="
/* VB.NET 2003 new bit-shift operators */
%token OP_SHIFT_LEFT "<<"
;
logical_end_of_line
- : EOL
+ :
+ EOL
| logical_end_of_line pp_directive
;
compilation_unit
- : logical_end_of_line
+ : logical_end_of_line _mark_
+ opt_option_directives
+ opt_imports_directives
+ declarations
+ EOF
+ {
+ $$=$4;
+ }
+ | logical_end_of_line _mark_
opt_option_directives
opt_imports_directives
opt_attributes
- opt_declarations
EOF
{
- $$=$5;
+ /* ????? */ ;
}
-
;
opt_option_directives
: option_explicit_directive
| option_strict_directive
| option_compare_directive
+ | OPTION _mark_ logical_end_of_line
+ {
+ Report.Error(30206 ,(Location)$2, "Option must be followed by 'Compare' or 'Explicit' or 'Strict'");
+ }
+ | OPTION _mark_ IDENTIFIER logical_end_of_line
+ {
+ Report.Error(30206 ,(Location)$2, "Option must be followed by 'Compare' or 'Explicit' or 'Strict'");
+ }
;
on_off
;
option_explicit_directive
- : OPTION EXPLICIT on_off logical_end_of_line
+ : OPTION EXPLICIT _mark_ on_off logical_end_of_line
{
if (!UseExtendedSyntax)
- OptionExplicit = (bool)$3;
+ OptionExplicit = (bool)$4;
else
Report.Warning (
- 9999, lexer.Location,
+ 9999, (Location)$3,
"In MonoBASIC extended syntax explicit declaration is always required. So OPTION EXPLICIT is deprecated");
}
;
option_strict_directive
- : OPTION STRICT on_off logical_end_of_line
+ : OPTION STRICT _mark_ on_off logical_end_of_line
{
if (!UseExtendedSyntax)
- OptionStrict = (bool)$3;
+ OptionStrict = (bool)$4;
else
Report.Warning (
- 9999, lexer.Location,
+ 9999, (Location)$3,
"In MonoBASIC extended syntax strict assignability is always required. So OPTION STRICT is deprecated");
}
;
opt_declarations
: /* empty */
| declarations
- ;
+ ;
declarations
: declaration
;
declaration
- : namespace_declaration
- | type_declaration
+ : declaration_qualifiers
+ {
+ // FIXME: Need to check declaration qualifiers for multi-file compilation
+ // FIXME: Qualifiers cannot be applied to namespaces
+ allow_global_attribs = false;
+ }
+ namespace_declaration
+ |declaration_qualifiers _mark_
+ {
+ // FIXME: Need to check declaration qualifiers for multi-file compilation
+ allow_global_attribs = false;
+ }
+ type_spec_declaration
{
string name = "";
int mod_flags;
- if ($1 is Class || $1 is Struct || $1 is Module ){
- TypeContainer c = (TypeContainer) $1;
+ if ($4 is Class || $4 is Struct || $4 is Module ){
+ TypeContainer c = (TypeContainer) $4;
mod_flags = c.ModFlags;
name = c.Name;
} else
break;
- if ((mod_flags & (Modifiers.PRIVATE|Modifiers.PROTECTED)) != 0){
+ if ((mod_flags & (Modifiers.PRIVATE)) != 0){
+ Report.Error (
+ 31089, (Location)$2,
+ "Namespace elements cannot be explicitly " +
+ "declared private in '" + name + "'");
+ }
+ else if ((mod_flags & (Modifiers.PROTECTED)) != 0){
Report.Error (
- 1527, lexer.Location,
+ 31047, (Location)$2,
"Namespace elements cannot be explicitly " +
- "declared private or protected in '" + name + "'");
+ "declared protected in '" + name + "'");
}
}
;
qualified_identifier
- : identifier
+ : identifier
| qualified_identifier DOT identifier // FIXME: It should be qualified_identifier DOT identifier-or-keyword
- {
+ {
$$ = (($1).ToString ()) + "." + ($3.ToString ());
}
;
{
RootContext.SourceBeingCompiled.Imports ((string) $1, lexer.Location);
}
- | identifier ASSIGN namespace_or_type_name
+ | identifier _mark_ ASSIGN namespace_or_type_name
{
- RootContext.SourceBeingCompiled.ImportsWithAlias ((string) $1, (string) $3, lexer.Location);
+ RootContext.SourceBeingCompiled.ImportsWithAlias ((string) $1, (string) $4, (Location)$2);
}
+ | identifier _mark_ ASSIGN
+ {
+ Report.Error(30203, (Location)$2, "Alias Statement no complete: Expression Expected");
+ }
+ | _mark_ /* empty */
+ {
+ Report.Error(30203, (Location)$1, "No namespace imported: Expression Expected");
+ }
;
opt_params
: /* empty */ { $$ = Parameters.EmptyReadOnlyParameters; }
| OPEN_PARENS CLOSE_PARENS { $$ = Parameters.EmptyReadOnlyParameters; }
- | OPEN_PARENS opt_formal_parameter_list CLOSE_PARENS { $$ = $2; }
+ | OPEN_PARENS _mark_ opt_formal_parameter_list CLOSE_PARENS { $$ = $3; }
+ | OPEN_PARENS _mark_
+ {
+ Report.Error(30203,(Location)$2, "Identifier Expected");
+ $$ = Parameters.EmptyReadOnlyParameters;
+ }
+ | OPEN_PARENS _mark_ opt_formal_parameter_list
+ {
+ Report.Error(30198,(Location)$2, "'(' is not having a matching ')'");
+ $$ = $3;
+ }
+ | _mark_ opt_formal_parameter_list CLOSE_PARENS
+ {
+ Report.Error(30205,(Location)$1, "')' is not having a matching '('");
+ $$ = $2;
+ }
;
-global_attribute_list
- : global_attribute
- | global_attribute_list COMMA global_attribute
- ;
+opt_attributes
+ : /* empty */
+ | attribute_sections
+ {
+ $$ = $1;
+ local_attrib_section_added = false;
+ }
+ ;
-global_attribute
- : attribute_modifier COLON attribute
+attribute_sections
+ : attribute_section
+ {
+ $$ = $1;
+ if ($1 == null) {
+ expecting_local_attribs = false;
+ expecting_global_attribs = false;
+ break;
+ }
+
+ if (expecting_local_attribs) {
+ local_attrib_section_added = true;
+ allow_global_attribs = false;
-attribute_modifier
- : ASSEMBLY
- | MODULE
- | identifier
- {
- Report.Error (658, lexer.Location, "`" + (string)$1 + "' is an invalid attribute target");
+ $$ = new Attributes ((ArrayList) $1);
+ }
+
+ if (expecting_global_attribs) {
+ $$ = null;
+ CodeGen.AddGlobalAttributes ((ArrayList) $1);
+ }
+
+ expecting_local_attribs = false;
+ expecting_global_attribs = false;
+ }
+ | attribute_sections
+ {
+ $$ = lexer.Location;
}
- ;
+ attribute_section
+ {
+ $$ = $1;
+ if ($3 != null) {
+ ArrayList attrs = (ArrayList) $3;
+
+ if (expecting_local_attribs) {
+ if (local_attrib_section_added) {
+ expecting_local_attribs = false;
+ expecting_global_attribs = false;
+ Report.Error (30205, (Location) $2, "Multiple attribute sections may not be used; Coalesce multiple attribute sections in to a single attribute section");
+ break;
+ }
-opt_attributes
- : /* empty */
- | attributes { $$ = $1; }
- ;
+ if ($1 == null)
+ $$ = new Attributes (attrs);
+ else
+ ((Attributes) $1).Add (attrs);
-attr_begin
- : OP_LT
- ;
+ local_attrib_section_added = true;
+ allow_global_attribs = false;
+ }
-attr_end
- : OP_GT
+ if (expecting_global_attribs) {
+ $$ = null;
+ CodeGen.AddGlobalAttributes ((ArrayList) $3);
+ }
+ }
+
+ expecting_local_attribs = false;
+ expecting_global_attribs = false;
+ }
;
-attributes
- : attr_begin attribute_list attr_end
+attribute_section
+ : OP_LT attribute_list OP_GT opt_end_of_stmt
{
- AttributeSection sect = new AttributeSection (null, (ArrayList) $2);
- $$ = new Attributes (sect, lexer.Location);
+ $$ = null;
+ if ($2 != null) {
+ if (expecting_global_attribs && !(bool) $4) {
+ Report.Error (30205, lexer.Location, "End of statement expected");
+ break;
+ }
+
+ if (expecting_local_attribs) {
+ if ((bool) $4) {
+ Report.Error (32035, lexer.Location, "Use a line continuation after the attribute specifier to apply it to the following statement.");
+ break;
+ }
+ }
+
+ $$ = $2;
+ }
}
- | attr_begin global_attribute_list attr_end logical_end_of_line
;
+opt_end_of_stmt
+ : /* empty */ { $$ = false; }
+ | end_of_stmt { $$ = true; }
+ ;
+
attribute_list
: attribute
{
- ArrayList attrs = new ArrayList ();
- attrs.Add ($1);
-
+ ArrayList attrs = null;
+ if ($1 != null) {
+ attrs = new ArrayList ();
+ attrs.Add ($1);
+ }
$$ = attrs;
-
}
| attribute_list COMMA attribute
{
- ArrayList attrs = (ArrayList) $1;
- attrs.Add ($3);
+ ArrayList attrs = null;
+
+ if ($3 != null) {
+ attrs = ($1 == null) ? new ArrayList () : (ArrayList) $1;
+ attrs.Add ($3);
+ }
$$ = attrs;
}
;
attribute
- : attribute_name
- {
+ : namespace_or_type_name
+ {
$$ = lexer.Location;
- }
- opt_attribute_arguments
- {
- $$ = new Mono.MonoBASIC.Attribute ((string) $1, (ArrayList) $3, (Location) $2);
- }
+ }
+ opt_attribute_arguments
+ {
+ $$ = null;
+
+ if (expecting_global_attribs)
+ Report.Error (32015, (Location) $2, "Expecting Assembly or Module attribute specifiers");
+ else {
+ expecting_local_attribs = true;
+ $$ = new Attribute ((string) $1, (ArrayList) $3, (Location) $2);
+ }
+ }
+ | attribute_target_specifier
+ {
+ $$ = lexer.Location;
+ }
+ COLON
+ namespace_or_type_name
+ {
+ $$ = lexer.Location;
+ }
+ opt_attribute_arguments
+ {
+ $$ = null;
+
+ string attribute_target = (string) $1;
+ if (attribute_target != "assembly" && attribute_target != "module") {
+ Report.Error (29999, lexer.Location, "`" + (string)$1 + "' is an invalid attribute modifier");
+ break;
+ }
+ if (!allow_global_attribs) {
+ Report.Error (30637, (Location) $2, "Global attribute statements must precede any declarations in a file");
+ break;
+ }
+
+ if (expecting_local_attribs) {
+ Report.Error (30183, (Location) $2, "Global attributes cannot be combined with local attributes");
+ break;
+ }
+
+ expecting_global_attribs = true;
+ $$ = new Attribute (attribute_target, (string) $4, (ArrayList) $6, (Location) $5);
+ }
;
-attribute_name
- : namespace_or_type_name
+attribute_target_specifier
+ : ASSEMBLY { $$ = "assembly"; }
+ | MODULE { $$ = "module"; }
+ | namespace_or_type_name
;
+
opt_attribute_arguments
: /* empty */ { $$ = null; }
;
namespace_declaration
- : NAMESPACE qualified_identifier logical_end_of_line
+ : NAMESPACE _mark_ qualified_identifier logical_end_of_line
{
- current_namespace = RootContext.Tree.RecordNamespace(current_namespace, name, (string)$2);
+ current_namespace = RootContext.Tree.RecordNamespace(current_namespace, name, (string)$3);
+
}
opt_declarations
- END NAMESPACE logical_end_of_line
+ opt_end_block
+ {
+ int i = (int)$7;
+ if (end_priority[6]>=end_priority[i] && i!=6)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=6 && Parent!=6)
+ {
+ Report.Error(30626,(Location)$2,"'NameSpace' is not having a matching 'End NameSpace'");
+ Parent=i;
+ }
+ if(i!=6)
+ Parent=i;
+ if(Parent==6)
+ Parent=0;
+ }
+ logical_end_of_line
{
current_namespace = current_namespace.Parent;
}
;
-type_declaration
+declaration_qualifiers
: opt_attributes
opt_modifiers
{
current_attributes = (Attributes) $1;
current_modifiers = (int) $2;
}
- type_spec_declaration
;
type_spec_declaration
;
class_declaration
- : CLASS identifier logical_end_of_line opt_inherits opt_implements
+ : CLASS identifier _mark_ end_of_stmt opt_inherits opt_implements
{
// Module members are static by default, but Class *can't* be declared static
// so we must fix it, if mbas was the one actually responsible for this
name = MakeName ((string) $2);
new_class = new Class (current_container, name, current_modifiers,
- (Attributes) current_attributes, lexer.Location);
+ (Attributes) current_attributes, (Location)$3);
current_container = new_class;
current_container.Namespace = current_namespace;
RootContext.Tree.RecordDecl (name, new_class);
}
opt_class_member_declarations
- END CLASS logical_end_of_line
+ opt_end_block
+ {
+ int i = (int)$9;
+ if (end_priority[7]>=end_priority[i] && i!=7)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=7 && Parent!=7)
+ {
+ Report.Error(30481,(Location)$3,"'Class' is not having a matching 'End Class'");
+ Parent=i;
+ }
+ if(i!=7)
+ Parent=i;
+ if(Parent==7)
+ Parent=0;
+ }
+ logical_end_of_line
{
Class new_class = (Class) current_container;
- ArrayList bases = (ArrayList) $4;
+ ArrayList bases = (ArrayList) $5;
- ArrayList ifaces = (ArrayList) $5;
+ ArrayList ifaces = (ArrayList) $6;
if (ifaces != null){
if (bases != null)
bases.AddRange(ifaces);
opt_inherits
: /* empty */ { $$ = null; }
- | INHERITS type_list logical_end_of_line { $$ = $2; }
+ | INHERITS type_list end_of_stmt { $$ = $2; }
;
opt_implements
: /* empty */ { $$ = null; }
- | IMPLEMENTS type_list logical_end_of_line { $$ = $2; }
+ | IMPLEMENTS type_list end_of_stmt { $$ = $2; }
;
opt_modifiers
;
module_declaration
- : MODULE identifier logical_end_of_line
+ : MODULE _mark_ identifier logical_end_of_line
{
Module new_module;
string name;
- name = MakeName((string) $2);
+ name = MakeName((string) $3);
new_module = new Module(current_container,
name,
current_modifiers, // already checks then
(Attributes) current_attributes,
- lexer.Location);
+ (Location)$2);
current_container = new_module;
current_container.Namespace = current_namespace;
RootContext.Tree.RecordDecl(name, new_module);
}
opt_module_member_declarations
- END MODULE logical_end_of_line
+ opt_end_block
+ {
+ int i = (int)$7;
+ if (end_priority[5]>=end_priority[i] && i!=5)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=5 && Parent!=5)
+ {
+ Report.Error(30625,(Location)$2,"'Module' is not having a matching 'End Module'");
+ Parent=i;
+ }
+ if(i!=5)
+ Parent=i;
+ if(Parent==5)
+ Parent=0;
+ }
+ logical_end_of_line
{
Module new_module = (Module)current_container;
;
constant_declaration
- : CONST constant_declarators logical_end_of_line
+ : CONST constant_declarators end_of_stmt
{
// Module members are static by default, but constants *can't* be declared static
// so we must fix it, if mbas was the one actually responsible for this
;
must_override_sub_declaration
- : MUSTOVERRIDE SUB identifier opt_params logical_end_of_line
+ : MUSTOVERRIDE SUB identifier opt_params opt_implement_clause _mark_ logical_end_of_line
{
if (current_container is Module)
- Report.Error (433, "Methods in a Module cannot be declared 'MustOverride'.");
+ Report.Error (30433, (Location)$6, "Methods in a Module cannot be declared 'MustOverride'.");
if (current_container is Struct)
- Report.Error (435, "Methods in a Structure cannot be declared 'MustOverride'.");
+ Report.Error (435, (Location)$6, "Methods in a Structure cannot be declared 'MustOverride'.");
current_modifiers |= Modifiers.ABSTRACT;
Method method = new Method (TypeManager.system_void_expr, (int) current_modifiers, (string) $3,
- (Parameters) $4, null, null, lexer.Location);
+ (Parameters) $4, null, (ArrayList) $5, (Location)$6);
if (!(current_container is Class))
- Report.Error (9999, "THIS SHOULD NEVER HAPPEN!");
+ Report.Error (9999, (Location)$6, "THIS SHOULD NEVER HAPPEN!");
$$ = method;
}
must_override_func_declaration
- : MUSTOVERRIDE FUNCTION identifier opt_type_character opt_params opt_type_with_ranks logical_end_of_line
+ : MUSTOVERRIDE FUNCTION identifier opt_type_character opt_params _mark_ opt_type_with_ranks opt_implement_clause logical_end_of_line
{
- Expression ftype = ($6 == null) ? (($4 == null) ? TypeManager.
- system_object_expr : (Expression) $4 ) : (Expression) $6;
+ Expression ftype = ($7 == null) ? (($4 == null) ? TypeManager.
+ system_object_expr : (Expression) $4 ) : (Expression) $7;
if (current_container is Module)
- Report.Error (433, "Methods in a Module cannot be declared 'MustOverride'.");
+ Report.Error (30433, (Location)$6,"Methods in a Module cannot be declared 'MustOverride'.");
if (current_container is Struct)
- Report.Error (435, "Methods in a Structure cannot be declared 'MustOverride'.");
+ Report.Error (435, (Location)$6,"Methods in a Structure cannot be declared 'MustOverride'.");
current_modifiers |= Modifiers.ABSTRACT;
Method method = new Method ((Expression) ftype, (int) current_modifiers,
- (string) $3,(Parameters) $5, null, null,
- lexer.Location);
+ (string) $3,(Parameters) $5, null, (ArrayList) $8,
+ (Location)$6);
if (!(current_container is Class))
- Report.Error (9999, "THIS SHOULD NEVER HAPPEN!");
+ Report.Error (9999, (Location)$6,"THIS SHOULD NEVER HAPPEN!");
$$ = method;
}
;
sub_declaration
- : SUB identifier opt_params opt_evt_handler opt_implement_clause logical_end_of_line
+ : SUB identifier _mark_ opt_params opt_evt_handler opt_implement_clause logical_end_of_line
{
- current_local_parameters = (Parameters) $3;
+ current_local_parameters = (Parameters) $4;
start_block();
// Structure members are Public by default
if ((current_container is Struct) && (current_modifiers == 0))
current_modifiers = Modifiers.PUBLIC;
- member_location = lexer.Location;
}
opt_statement_list
- END SUB logical_end_of_line
+ opt_end_block
+ {
+ int i = (int)$10;
+ if (end_priority[4]>=end_priority[i] && i!=4)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=4 && Parent!=4)
+ {
+ Report.Error(30289,(Location)$3,"'Sub' is not having a matching 'End Sub'");
+ Parent=i;
+ }
+ if(i!=4)
+ Parent=i;
+ if(Parent==4)
+ Parent=0;
+ }
+ logical_end_of_line
{
Method method = new Method (TypeManager.system_void_expr, (int) current_modifiers, (string) $2,
(Parameters) current_local_parameters, (Attributes) current_attributes,
- (Expression) $5, member_location);
+ (ArrayList) $6, (Location)$3);
method.Block = (Block) end_block();
$$ = method;
- if ($4 != null) {
+ if ($5 != null) {
// we have an event handler to take care of
- string evt_def = ((MemberAccess)$6).ToString();
+ Expression handles_exp = (Expression) $5;
+ Location loc = (Location)$3;
+
+ if (handles_exp is MemberAccess) {
+ string evt_def = ((MemberAccess)$5).ToString();
int pos = evt_def.LastIndexOf (".");
string evt_target = evt_def.Substring (0, pos);
bool found = false;
if (current_container.Properties != null) {
foreach (Property p in current_container.Properties) {
if (p.Name == evt_target) {
- Location loc = lexer.Location;
+
- Statement addhnd = (Statement) new AddHandler ((Expression) $4,
+ Statement addhnd = (Statement) new AddHandler ((Expression) $5,
DecomposeQI((string) $2, loc),
- DecomposeQI(evt_target, loc), loc);
+ loc);
current_container.AddEventHandler (addhnd);
found = true;
}
}
}
-
+
if (!found){
- Report.Error(30506, lexer.Location,
+ Report.Error(30506, (Location)$3,
evt_target + " is not declared with WithEvents");
}
+ } else if (handles_exp is BaseAccess) {
+ Statement addhnd = (Statement) new AddHandler ((Expression) $5,
+ DecomposeQI((string) $2, loc),
+ loc);
+
+ current_container.AddEventHandler (addhnd);
+ }
+
}
}
;
-
+
func_declaration
: FUNCTION identifier opt_type_character
- opt_params opt_type_with_ranks opt_implement_clause logical_end_of_line
+ opt_params _mark_ opt_type_with_ranks opt_implement_clause logical_end_of_line
{
current_local_parameters = (Parameters) $4;
- member_location = lexer.Location;
start_block();
- Expression ftype = ($5 == null) ? (($3 == null) ? TypeManager.system_object_expr : (Expression) $3 ) : (Expression) $5;
+ Expression ftype = ($6 == null) ? (($3 == null) ? TypeManager.system_object_expr : (Expression) $3 ) : (Expression) $6;
// Structure members are Public by default
if ((current_container is Struct) && (current_modifiers == 0))
// Add local var declaration
// for return value
ArrayList retval = new ArrayList ();
- retval.Add (new VariableDeclaration ((string) $2, (Expression) ftype, lexer.Location));
- declare_local_variables ((Expression) ftype, retval, lexer.Location);
+ retval.Add (new VariableDeclaration ((string) $2, (Expression) ftype, (Location)$5));
+ declare_local_variables ((Expression) ftype, retval, (Location)$5);
}
opt_statement_list
- END FUNCTION logical_end_of_line
+ opt_end_block
+ {
+ int i = (int)$11;
+ if (end_priority[8]>=end_priority[i] && i!=8)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=8 && Parent!=8)
+ {
+ Report.Error(30027,(Location)$5,"'Function' is not having a matching 'End Function'");
+ Parent=i;
+ }
+ if(i!=8)
+ Parent=i;
+ if(Parent==8)
+ Parent=0;
+ }
+ logical_end_of_line
{
- Expression ftype = ($5 == null) ? (($3 == null) ? TypeManager.system_object_expr : (Expression) $3 ) : (Expression) $5;
+ Expression ftype = ($6 == null) ? (($3 == null) ? TypeManager.system_object_expr : (Expression) $3 ) : (Expression) $6;
Method method = new Method ((Expression) ftype, (int) current_modifiers, (string) $2,
(Parameters) current_local_parameters, (Attributes) current_attributes,/* (Attributes) currx ent_attributes, */
- (Expression) $6, member_location);
+ (ArrayList) $7, (Location)$5);
method.Block = end_block();
$$ = method;
}
;
struct_declaration
- : STRUCTURE identifier logical_end_of_line
+ : STRUCTURE _mark_ identifier end_of_stmt
opt_implement_clause
{
Struct new_struct;
- string full_struct_name = MakeName ((string) $2);
+ string full_struct_name = MakeName ((string) $3);
// Module members are static by default, but structures *can't* be declared static
// so we must fix it, if mbas was the one actually responsible for this
new_struct = new Struct (current_container, full_struct_name,
(int) current_modifiers,
- (Attributes) current_attributes, lexer.Location);
+ (Attributes) current_attributes, (Location)$2);
current_container = new_struct;
current_container.Namespace = current_namespace;
RootContext.Tree.RecordDecl (full_struct_name, new_struct);
{
Struct new_struct = (Struct) current_container;
- if ($4 != null)
- new_struct.Bases = (ArrayList) $4;
+ if ($5 != null)
+ new_struct.Bases = (ArrayList) $5;
current_container = current_container.Parent;
CheckDef (current_container.AddStruct (new_struct), new_struct.Name, new_struct.Location);
$$ = new_struct;
}
- END STRUCTURE logical_end_of_line
+ opt_end_block
+ {
+ int i = (int)$9;
+ if (end_priority[9]>=end_priority[i] && i!=9)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=9 && Parent!=9)
+ {
+
+ Report.Error(30624,(Location)$2,"'Structure' is not having a matching 'End Structure'");
+ Parent=i;
+ }
+ if(i!=9)
+ Parent=i;
+ if(Parent==9)
+ Parent=0;
+ }
+ logical_end_of_line
;
opt_struct_member_declarations
;
event_declaration
- : EVENT identifier AS type opt_implement_clause logical_end_of_line
+ : EVENT identifier _mark_ AS type opt_implement_clause logical_end_of_line
{
- VariableDeclaration var = new VariableDeclaration ((string) $2, (Expression) $4, lexer.Location);
+ VariableDeclaration var = new VariableDeclaration ((string) $2, (Expression) $5, (Location)$3);
- Event e = new Event ((Expression) $4, var.identifier,
- null, current_modifiers, null, null,
- current_attributes, (Expression) $5,
- lexer.Location);
+ Event e = new Event ((Expression) $5, var.identifier,
+ null, current_modifiers,
+ current_attributes, (ArrayList) $6,
+ (Location)$3);
CheckDef (current_container.AddEvent (e), e.Name, e.Location);
}
- | EVENT identifier opt_params opt_implement_clause logical_end_of_line
+ | EVENT identifier _mark_ opt_params opt_implement_clause logical_end_of_line
{
- string delName = (string) $2;
- delName = delName + "EventHandler";
- if ($4 == null) {
+ string delName = null;
+
+ if ($5 == null) {
+ delName = (string) $2;
+ delName = delName + "EventHandler";
Mono.MonoBASIC.Delegate del = new Mono.MonoBASIC.Delegate
(current_container, TypeManager.system_void_expr,
- (int) current_modifiers, MakeName(delName), (Parameters) $3,
- (Attributes) current_attributes, lexer.Location);
+ (int) current_modifiers, MakeName(delName), (Parameters) $4,
+ (Attributes) current_attributes, (Location)$3);
del.Namespace = current_namespace;
- CheckDef (current_container.AddDelegate (del), del.Name, lexer.Location);
+ CheckDef (current_container.AddDelegate (del), del.Name, (Location)$3);
+ } else {
+ ArrayList impls = (ArrayList) $5;
+ if (impls.Count > 1) {
+ string expstr = "Event '" + ((Expression) impls[1]).ToString () +
+ "' can not be implemented with Event '" +
+ (string) $2 + "', since it's delegate type does not match " +
+ "with the delegate type of '" + ((Expression) impls[0]).ToString () + "'";
+ Report.Error (31407, (Location)$3, expstr);
+ }
+ Expression impl = (Expression) impls[0];
+ delName = impl.ToString();
+ delName = delName.Substring (delName.LastIndexOf(".") + 1);
+ delName = delName + "EventHandler";
}
- Event e = new Event (DecomposeQI (delName, lexer.Location),
+
+ Event e = new Event (DecomposeQI (delName, (Location)$3),
(string) $2,
- null, current_modifiers, null, null,
- current_attributes, (Expression) $4,
- lexer.Location);
+ null, current_modifiers,
+ current_attributes, (ArrayList) $5,
+ (Location)$3);
CheckDef (current_container.AddEvent (e), e.Name, e.Location);
}
;
enum_declaration
- : ENUM identifier opt_type_spec logical_end_of_line
- opt_enum_member_declarations // FIXME: BC30280: Enum must contain atleast one member
+ : ENUM _mark_ identifier opt_type_spec logical_end_of_line
+ opt_enum_member_declarations
{
- Location enum_location = lexer.Location;
- string full_name = MakeName ((string) $2);
- Expression enum_type = ($3 == null) ? TypeManager.system_int32_expr : (Expression) $3;
- ArrayList enum_members = (ArrayList) $5;
+ Location enum_location = (Location)$2;
+ string full_name = MakeName ((string) $3);
+ Expression enum_type = ($4 == null) ? TypeManager.system_int32_expr : (Expression) $4;
+ ArrayList enum_members = (ArrayList) $6;
+
+ if (enum_members.Count == 0)
+ Report.Error (30280, enum_location,
+ "Enum can not have empty member list");
// Module members are static by default, but enums *can't* be declared static
// so we must fix it if mbas was the one actually responsible for this
RootContext.Tree.RecordDecl (full_name, e);
}
- END ENUM logical_end_of_line
+ opt_end_block
+ {
+ int i = (int)$8;
+ if (end_priority[10]>=end_priority[i] && i!=10)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=10 && Parent!=10)
+ {
+ Report.Error(30185,(Location)$2,"'ENUM' is not having a matching 'End ENUM'");
+ Parent=i;
+ }
+ if(i!=10)
+ Parent=i;
+ if(Parent==10)
+ Parent=0;
+ }
+ logical_end_of_line
;
opt_enum_member_declarations
;
enum_member_declaration
- : opt_attributes identifier logical_end_of_line
+ : opt_attributes identifier _mark_ logical_end_of_line
{
- $$ = new VariableDeclaration ((string) $2, null, lexer.Location, (Attributes) $1);
+ $$ = new VariableDeclaration ((string) $2, null, (Location)$3, (Attributes) $1);
}
| opt_attributes identifier
{
}
ASSIGN expression logical_end_of_line
{
- $$ = new VariableDeclaration ((string) $2, $5, lexer.Location, (Attributes) $1);
+ $$ = new VariableDeclaration ((string) $2, (Expression)$5, (Location)$3, (Attributes) $1);
}
;
interface_declaration
- : INTERFACE identifier logical_end_of_line
+ : INTERFACE _mark_ identifier logical_end_of_line
{
Interface new_interface;
- string full_interface_name = MakeName ((string) $2);
+ string full_interface_name = MakeName ((string) $3);
new_interface = new Interface (current_container, full_interface_name, (int) current_modifiers,
- (Attributes) current_attributes, lexer.Location);
+ (Attributes) current_attributes, (Location)$2);
if (current_interface != null) {
- Location l = lexer.Location;
- Report.Error (-2, l, "Internal compiler error: interface inside interface");
+ Report.Error (-2, (Location)$2, "Internal compiler error: interface inside interface");
}
current_interface = new_interface;
new_interface.Namespace = current_namespace;
{
Interface new_interface = (Interface) current_interface;
- if ($5 != null)
- new_interface.Bases = (ArrayList) $5;
+ if ($6 != null)
+ new_interface.Bases = (ArrayList) $6;
current_interface = null;
CheckDef (current_container.AddInterface (new_interface),
new_interface.Name, new_interface.Location);
}
- END INTERFACE logical_end_of_line
+ opt_end_block
+ {
+ int i = (int)$9;
+ if (end_priority[11]>=end_priority[i] && i!=11)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=11 && Parent!=11)
+ {
+ Report.Error(30253,(Location)$2,"'INTERFACE' is not having a matching 'End INTERFACE'");
+ Parent=i;
+ }
+ if(i!=11)
+ Parent=i;
+ if(Parent==11)
+ Parent=0;
+ }
+ logical_end_of_line
;
opt_interface_base
: /* empty */ { $$ = null; }
- | interface_base
+ | interface_bases
;
-interface_base
- : INHERITS interface_type_list { $$ = $2; }
- ;
-
-interface_type_list
- : interface_type
- {
- ArrayList interfaces = new ArrayList ();
-
- interfaces.Add ($1);
- $$ = interfaces;
- }
- | interface_type_list COMMA interface_type
+interface_bases
+ : interface_base
+ | interface_bases interface_base
{
- ArrayList interfaces = (ArrayList) $1;
- interfaces.Add ($3);
- $$ = interfaces;
+ ArrayList bases = (ArrayList) $1;
+ bases.AddRange ((ArrayList) $2);
+ $$ = bases;
}
;
+interface_base
+ : INHERITS type_list logical_end_of_line { $$ = $2; }
+ ;
+
interface_body
: opt_interface_member_declarations
;
;
interface_method_declaration
- : SUB identifier opt_params logical_end_of_line
+ : SUB identifier opt_params _mark_ logical_end_of_line
{
Method method = new Method (TypeManager.system_void_expr, (int) current_modifiers, (string) $2,
- (Parameters) $3, current_attributes, null, lexer.Location);
+ (Parameters) $3, current_attributes, null, (Location)$4);
$$ = method;
}
- | FUNCTION identifier opt_type_character opt_params opt_type_with_ranks logical_end_of_line
+ | FUNCTION identifier opt_type_character opt_params _mark_ opt_type_with_ranks logical_end_of_line
{
- Expression ftype = ($5 == null) ? (($3 == null) ? TypeManager.
- system_object_expr : (Expression) $3 ) : (Expression) $5;
+ Expression ftype = ($6 == null) ? (($3 == null) ? TypeManager.
+ system_object_expr : (Expression) $3 ) : (Expression) $6;
Method method = new Method ((Expression) ftype, (int) current_modifiers,
(string) $2,(Parameters) $4, current_attributes, null,
- lexer.Location);
+ (Location)$5);
$$ = method;
}
;
interface_property_declaration
- : PROPERTY identifier opt_type_character opt_property_parameters opt_type_spec logical_end_of_line
+ : PROPERTY identifier _mark_ opt_type_character opt_property_parameters opt_type_with_ranks logical_end_of_line
{
- Expression ftype = ($5 == null) ? (($3 == null) ?
- TypeManager.system_object_expr : (Expression) $3 ) : (Expression) $5;
+ Expression ftype = ($6 == null) ? (($4 == null) ?
+ TypeManager.system_object_expr : (Expression) $4 ) : (Expression) $6;
- current_local_parameters = (Parameters) $4;
+ current_local_parameters = (Parameters) $5;
if (current_local_parameters != Parameters.EmptyReadOnlyParameters) {
- get_parameters = current_local_parameters.Copy (lexer.Location);
- set_parameters = current_local_parameters.Copy (lexer.Location);
+ get_parameters = current_local_parameters.Copy ((Location)$3);
+ set_parameters = current_local_parameters.Copy ((Location)$3);
Parameter implicit_value_parameter = new Parameter (
ftype, "Value", Parameter.Modifier.NONE, null);
else
{
get_parameters = Parameters.EmptyReadOnlyParameters;
- set_parameters = new Parameters (null, null ,lexer.Location);
+ set_parameters = new Parameters (null, null ,(Location)$3);
Parameter implicit_value_parameter = new Parameter (
ftype, "Value", Parameter.Modifier.NONE, null);
Accessor set_block = new Accessor (null, null);
Property prop = new Property ((Expression) ftype, (string) $2, current_modifiers,
- get_block, set_block, current_attributes, lexer.Location,
+ get_block, set_block, current_attributes, (Location)$3,
null, get_parameters, set_parameters, null);
- CheckDef (current_interface.AddProperty (prop), prop.Name, lexer.Location);
+ CheckDef (current_interface.AddProperty (prop), prop.Name, (Location)$3);
get_implicit_value_parameter_type = null;
set_implicit_value_parameter_type = null;
;
interface_event_declaration
- : EVENT identifier AS type logical_end_of_line
+ : EVENT identifier AS _mark_ type logical_end_of_line
{
- VariableDeclaration var = new VariableDeclaration ((string) $2, (Expression) $4, lexer.Location);
+ VariableDeclaration var = new VariableDeclaration ((string) $2, (Expression) $5, (Location)$4);
- Event e = new Event ((Expression) $4, var.identifier,
- null, current_modifiers, null, null,
- current_attributes, lexer.Location);
+ Event e = new Event ((Expression) $5, var.identifier,
+ null, current_modifiers,
+ current_attributes, (Location)$4);
CheckDef (current_interface.AddEvent (e), e.Name, e.Location);
}
- | EVENT identifier opt_params logical_end_of_line
+ | EVENT identifier opt_params _mark_ logical_end_of_line
{
string delName = (string) $2;
delName = delName + "EventHandler";
Mono.MonoBASIC.Delegate del = new Mono.MonoBASIC.Delegate
(current_container, TypeManager.system_void_expr,
(int) delModifiers, MakeName(delName), (Parameters) $3,
- (Attributes) current_attributes, lexer.Location);
+ (Attributes) current_attributes, (Location)$4);
del.Namespace = current_namespace;
- CheckDef (current_interface.AddDelegate (del), del.Name, lexer.Location);
+ CheckDef (current_interface.AddDelegate (del), del.Name, (Location)$4);
- Event e = new Event (DecomposeQI (delName, lexer.Location),
+ Event e = new Event (DecomposeQI (delName, (Location)$4),
(string) $2,
- null, current_modifiers, null, null,
- current_attributes, lexer.Location);
+ null, current_modifiers,
+ current_attributes, (Location)$4);
CheckDef (current_interface.AddEvent (e), e.Name, e.Location);
}
;
abstract_propery_declaration
- : MUSTOVERRIDE PROPERTY identifier opt_type_character opt_property_parameters opt_type_spec logical_end_of_line
+ : MUSTOVERRIDE PROPERTY identifier opt_type_character opt_property_parameters _mark_ opt_type_with_ranks logical_end_of_line
{
- Expression ftype = ($6 == null) ? (($4 == null) ?
- TypeManager.system_object_expr : (Expression) $4 ) : (Expression) $6;
+ Expression ftype = ($7 == null) ? (($4 == null) ?
+ TypeManager.system_object_expr : (Expression) $4 ) : (Expression) $7;
if (current_container is Module)
- Report.Error (30503, "Properties in a Module cannot be declared 'MustOverride'.");
+ Report.Error (30503, (Location) $6 , "Properties in a Module cannot be declared 'MustOverride'.");
if (current_container is Struct)
- Report.Error (435, "Methods in a Structure cannot be declared 'MustOverride'.");
+ Report.Error (435, (Location) $6 ,"Methods in a Structure cannot be declared 'MustOverride'.");
current_modifiers |= Modifiers.ABSTRACT;
null, get_parameters, set_parameters, null);
if (!(current_container is Class))
- Report.Error (9999, "THIS SHOULD NEVER HAPPEN!");
+ Report.Error (9999, (Location) $6, "THIS SHOULD NEVER HAPPEN!");
CheckDef (current_container.AddProperty (prop), prop.Name, lexer.Location);
non_abstract_propery_declaration
- : PROPERTY identifier opt_type_character opt_property_parameters opt_type_spec opt_implement_clause logical_end_of_line
- {
+ : PROPERTY identifier
+ opt_type_character
+ opt_property_parameters
+ _mark_
+ opt_type_with_ranks
+ opt_implement_clause
+ {
+ if ((current_modifiers & Modifiers.DEFAULT) > 0) {
+ if (current_container.DefaultPropName != null
+ && current_container.DefaultPropName != (string) $2)
+ Report.Error (30359,
+ (Location) $5,
+ "Type '" + current_container.Name +
+ "' cannot have more than one 'Default Property' ");
+
+ current_container.DefaultPropName = (string) $2;
+ }
+
get_implicit_value_parameter_type =
- ($5 == null) ? (($3 == null) ?
- TypeManager.system_object_expr : (Expression) $3 ) : (Expression) $5;
+ ($6 == null) ? (($3 == null) ?
+ TypeManager.system_object_expr : (Expression) $3 ) : (Expression) $6;
get_implicit_value_parameter_name = (string) $2;
current_local_parameters = (Parameters) $4;
if (current_local_parameters != Parameters.EmptyReadOnlyParameters) {
- get_parameters = current_local_parameters.Copy (lexer.Location);
- set_parameters = current_local_parameters.Copy (lexer.Location);
+ get_parameters = current_local_parameters.Copy ((Location)$5);
+ set_parameters = current_local_parameters.Copy ((Location)$5);
}
else
{
get_parameters = Parameters.EmptyReadOnlyParameters;
- set_parameters = new Parameters (null, null ,lexer.Location);
+ set_parameters = new Parameters (null, null ,(Location)$5);
}
lexer.PropertyParsing = true;
- $$ = lexer.Location;
+ $$ = (Location)$5;
}
+ logical_end_of_line
accessor_declarations
- END PROPERTY logical_end_of_line
+ opt_end_block
+ {
+ int i = (int)$11;
+ if (end_priority[12]>=end_priority[i] && i!=12)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=12 && Parent!=12)
+ {
+ Report.Error(30025,(Location)$5,"'Property' is not having a matching 'End Property'");
+ Parent=i;
+ }
+ if(i!=12)
+ Parent=i;
+ if(Parent==12)
+ Parent=0;
+ }
+ logical_end_of_line
{
lexer.PropertyParsing = false;
Property prop;
- Pair pair = (Pair) $9;
+ Pair pair = (Pair) $10;
Accessor get_block = null;
Accessor set_block = null;
set_block = (Accessor) pair.Second;
}
- Location loc = lexer.Location;
+ Location loc = (Location) $5 ;
// Structure members are Public by default
if ((current_container is Struct) && (current_modifiers == 0))
prop = new Property ((Expression) get_implicit_value_parameter_type,
(string) $2, current_modifiers, get_block, set_block,
current_attributes, loc, set_implicit_value_parameter_name,
- get_parameters, set_parameters, (Expression) $6);
+ get_parameters, set_parameters, (ArrayList) $7);
CheckDef (current_container.AddProperty (prop), prop.Name, loc);
get_implicit_value_parameter_type = null;
{
$$ = null;
}
- | IMPLEMENTS qualified_identifier
+ | IMPLEMENTS implement_clause_list
+ {
+ $$ = $2;
+ }
+ ;
+
+implement_clause_list
+ : qualified_identifier
{
- $$ = DecomposeQI ((string)$2, lexer.Location);
+ ArrayList impl_list = new ArrayList ();
+ impl_list.Add (DecomposeQI ((string)$1, lexer.Location));
+ $$ = impl_list;
}
+ | implement_clause_list COMMA qualified_identifier
+ {
+ ArrayList impl_list = (ArrayList) $1;
+ impl_list.Add (DecomposeQI ((string)$3, lexer.Location));
+ $$ = impl_list;
+ }
+
;
accessor_declarations
;
get_accessor_declaration
- : opt_attributes GET logical_end_of_line
+ : opt_attributes GET _mark_ logical_end_of_line
{
if ((current_modifiers & Modifiers.WRITEONLY) != 0)
- Report.Error (30023, "'WriteOnly' properties cannot have a 'Get' accessor");
+ Report.Error (30023, (Location)$3, "'WriteOnly' properties cannot have a 'Get' accessor");
current_local_parameters = get_parameters;
// Add local var declaration
// for return value
ArrayList retval = new ArrayList ();
- retval.Add (new VariableDeclaration (get_implicit_value_parameter_name, get_implicit_value_parameter_type, lexer.Location));
+ retval.Add (new VariableDeclaration (get_implicit_value_parameter_name, get_implicit_value_parameter_type, (Location)$3));
declare_local_variables (get_implicit_value_parameter_type, retval, lexer.Location);
}
opt_statement_list
- END GET logical_end_of_line
+ opt_end_block
+ {
+ int i = (int)$7;
+ if (end_priority[19]>=end_priority[i] && i!=19)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=19 && Parent!=19)
+ {
+ Report.Error(30631,(Location)$3,"'GET' is not having a matching 'End Get'");
+ Parent=i;
+ }
+ if(i!=19)
+ Parent=i;
+ if(Parent==19)
+ Parent=0;
+ }
+ logical_end_of_line
{
$$ = new Accessor ((Block) end_block(), (Attributes) $1);
current_local_parameters = null;
;
set_accessor_declaration
- : opt_attributes SET opt_set_parameter logical_end_of_line
+ : opt_attributes SET opt_set_parameter _mark_ logical_end_of_line
{
if ((current_modifiers & Modifiers.READONLY) != 0)
- Report.Error (30022, "'ReadOnly' properties cannot have a 'Set' accessor");
+ Report.Error (30022,
+ (Location)$4,
+ "'ReadOnly' properties cannot have a 'Set' accessor");
Parameter implicit_value_parameter = new Parameter (
set_implicit_value_parameter_type,
lexer.PropertyParsing = false;
}
opt_statement_list
- END SET logical_end_of_line
+ opt_end_block
+ {
+ int i = (int)$8;
+ if (end_priority[18]>=end_priority[i] && i!=18)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=18 && Parent!=18)
+ {
+ Report.Error(30633,(Location)$4,"'SET' is not having a matching 'End Set'");
+ Parent=i;
+ }
+ if(i!=18)
+ Parent=i;
+ if(Parent==18)
+ Parent=0;
+ }
+
+ logical_end_of_line
{
$$ = new Accessor ((Block) end_block(), (Attributes) $1);
current_local_parameters = null;
set_implicit_value_parameter_type = (Expression) get_implicit_value_parameter_type;
set_implicit_value_parameter_name = "Value";
}
- | OPEN_PARENS opt_parameter_modifier opt_identifier opt_type_spec CLOSE_PARENS
+ | OPEN_PARENS opt_parameter_modifier opt_identifier opt_type_with_ranks CLOSE_PARENS
{
Parameter.Modifier pm = (Parameter.Modifier)$2;
if ((pm | Parameter.Modifier.VAL) != 0)
set_implicit_value_parameter_type = (Expression) $4;
- if (set_implicit_value_parameter_type != get_implicit_value_parameter_type)
+ if (set_implicit_value_parameter_type.ToString () != get_implicit_value_parameter_type.ToString ())
Report.Error (31064,
lexer.Location,
"Set value parameter type can not be different from property type");
-
+
if ($2 != null)
set_implicit_value_parameter_name = (string) $3;
else
field_declaration
: opt_dim_stmt
- variable_declarators logical_end_of_line
+ variable_declarators end_of_stmt
{
int mod = (int) current_modifiers;
;
delegate_declaration
- : DELEGATE SUB
+ : DELEGATE SUB _mark_
identifier OPEN_PARENS
opt_formal_parameter_list
CLOSE_PARENS
logical_end_of_line
{
- Location l = lexer.Location;
+ Location l = (Location)$3;
// Module members are static by default, but delegates *can't* be declared static
// so we must fix it, if mbas was the one actually responsible for this
// instead of triggering an error.
Mono.MonoBASIC.Delegate del = new Mono.MonoBASIC.Delegate (current_container,
TypeManager.system_void_expr,
(int) current_modifiers,
- MakeName ((string) $3), (Parameters) $5,
+ MakeName ((string) $4), (Parameters) $6,
(Attributes) current_attributes, l);
del.Namespace = current_namespace;
CheckDef (current_container.AddDelegate (del), del.Name, l);
}
- | DELEGATE FUNCTION
+ | DELEGATE FUNCTION _mark_
identifier OPEN_PARENS
opt_formal_parameter_list
- CLOSE_PARENS opt_type_spec logical_end_of_line
+ CLOSE_PARENS opt_type_with_ranks logical_end_of_line
{
- Location l = lexer.Location;
+ Location l = (Location)$3;
// Module members are static by default, but delegates *can't* be declared static
// so we must fix it, if mbas was the one actually responsible for this
if (implicit_modifiers && ((current_modifiers & Modifiers.STATIC) != 0))
current_modifiers = (current_modifiers & ~Modifiers.STATIC);
- Expression ftype = ($7 == null) ? TypeManager.system_object_expr : (Expression) $7;
+ Expression ftype = ($8 == null) ? TypeManager.system_object_expr : (Expression) $8;
Mono.MonoBASIC.Delegate del = new Mono.MonoBASIC.Delegate (
current_container,
- ftype, (int) current_modifiers, MakeName ((string) $3),
- (Parameters) $5, (Attributes) current_attributes, l);
+ ftype, (int) current_modifiers, MakeName ((string) $4),
+ (Parameters) $6, (Attributes) current_attributes, l);
del.Namespace = current_namespace;
CheckDef (current_container.AddDelegate (del), del.Name, l);
;
opt_evt_handler
- : /* empty */
- { $$ = null; }
- | HANDLES qualified_identifier
+ : /* empty */ { $$ = null; }
+ | HANDLES evt_handler { $$ = $2; }
+ ;
+
+evt_handler
+ : qualified_identifier
+ {
+ $$ = (Expression) DecomposeQI ((string)$1, lexer.Location);
+ }
+ | base_access
{
- $$ = (Expression) DecomposeQI ((string)$2, lexer.Location);
+ $$ = $1;
+ }
+ | ME DOT qualified_identifier
+ {
+ $$ = (Expression) DecomposeQI ((string)$3, lexer.Location);
}
- | HANDLES MYBASE DOT qualified_identifier
+ /*| MYBASE DOT qualified_identifier
{
// FIXME: this is blatantly wrong and crash-prone
$$ = (Expression) DecomposeQI ("MyBase." + (string)$4, lexer.Location);
- }
- ;
+ }*/
+ ;
constructor_declaration
- : SUB NEW opt_params logical_end_of_line
+ : SUB _mark_ NEW opt_params logical_end_of_line
{
- current_local_parameters = (Parameters) $3;
+ current_local_parameters = (Parameters) $4;
start_block();
oob_stack.Push (lexer.Location);
Location l = (Location) oob_stack.Pop ();
- $$ = new Constructor ((string) "New", (Parameters) $3, (ConstructorInitializer) null, l);
+ $$ = new Constructor ((string) "New", (Parameters) $4, (ConstructorInitializer) null, l);
$1 = $$;
}
opt_statement_list
CheckDef (current_container.AddConstructor(c), c.Name, c.Location);
current_local_parameters = null;
}
- END SUB logical_end_of_line
+ opt_end_block
+ {
+ int i = (int)$9;
+ if (end_priority[4]>=end_priority[i] && i!=4)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=4 && Parent!=4)
+ {
+ Report.Error(30289,(Location)$2,"'Sub' is not having a matching 'End Sub'");
+ Parent=i;
+ }
+ if(i!=4)
+ Parent=i;
+ if(Parent==4)
+ Parent=0;
+ }
+ logical_end_of_line
;
opt_formal_parameter_list
;
formal_parameter_list
- : fixed_parameters
+ : parameters
{
ArrayList pars_list = (ArrayList) $1;
-
- Parameter [] pars = new Parameter [pars_list.Count];
- pars_list.CopyTo (pars);
- $$ = new Parameters (pars, null, lexer.Location);
+ Parameter [] pars = null;
+ Parameter array_parameter = null;
+ int non_array_count = pars_list.Count;
+ if (pars_list.Count > 0 && (((Parameter) pars_list [pars_list.Count - 1]).ModFlags & Parameter.Modifier.PARAMS) != 0) {
+ array_parameter = (Parameter) pars_list [pars_list.Count - 1];
+ non_array_count = pars_list.Count - 1;
+ }
+ foreach (Parameter par in pars_list)
+ if (par != array_parameter && (par.ModFlags & Parameter.Modifier.PARAMS) != 0) {
+ Report.Error (30192, lexer.Location, "ParamArray parameters must be last");
+ non_array_count = 0;
+ array_parameter = null;
+ break;
+ }
+ if (non_array_count > 0) {
+ pars = new Parameter [non_array_count];
+ pars_list.CopyTo (0, pars, 0, non_array_count);
+ }
+ $$ = new Parameters (pars, array_parameter, lexer.Location);
}
- | fixed_parameters COMMA parameter_array
- {
- ArrayList pars_list = (ArrayList) $1;
-
- Parameter [] pars = new Parameter [pars_list.Count];
- pars_list.CopyTo (pars);
-
- $$ = new Parameters (pars, (Parameter) $3, lexer.Location);
- }
- | parameter_array
- {
- $$ = new Parameters (null, (Parameter) $1, lexer.Location);
- }
;
-fixed_parameters
- : fixed_parameter
+parameters
+ : parameter
{
ArrayList pars = new ArrayList ();
pars.Add ($1);
$$ = pars;
}
- | fixed_parameters COMMA fixed_parameter
+ | parameters COMMA parameter
{
ArrayList pars = (ArrayList) $1;
}
;
-fixed_parameter
+parameter
: opt_attributes
opt_parameter_modifier
- identifier opt_type_character opt_rank_specifiers opt_type_spec opt_variable_initializer
+ identifier _mark_ opt_type_character opt_rank_specifiers opt_type_with_ranks opt_variable_initializer
{
Parameter.Modifier pm = (Parameter.Modifier)$2;
bool opt_parm = ((pm & Parameter.Modifier.OPTIONAL) != 0);
Expression ptype;
- if (opt_parm && ($7 == null))
- Report.Error (30812, "Optional parameters must have a default value");
+ if (opt_parm && ($8 == null))
+ Report.Error (30812, (Location)$4, "Optional parameters must have a default value");
+
+ if (!opt_parm && ($8 != null))
+ Report.Error (32024, (Location)$4, "Non-Optional parameters should not have a default value");
+
+ if ((pm & Parameter.Modifier.PARAMS) != 0) {
+ if ((pm & ~Parameter.Modifier.PARAMS) != 0)
+ Report.Error (30667, (Location)$4, "ParamArray parameters must be ByVal");
+ }
- if (opt_parm) {
- if ((pm & Parameter.Modifier.REF) !=0)
- pm = Parameter.Modifier.REF | Parameter.Modifier.ISBYREF;
- else
- pm = Parameter.Modifier.NONE; //FIXME: should take into account BYREF
- }
+ if ((pm & Parameter.Modifier.REF) !=0)
+ pm |= Parameter.Modifier.ISBYREF;
- if ($4 != null && $6 != null && $4 != $6)
- Report.Error (-1, lexer.Location, "Type character conflicts with declared type."); // TODO: Correct error number and message text
-
- ptype = (Expression)(($6 == null) ? (($4 == null) ? TypeManager.system_object_expr : $4) : $6);
- if ($5 != null) {
- string t = ptype.ToString() + VariableDeclaration.BuildRank ((ArrayList) $5);
- ptype = DecomposeQI (t, lexer.Location);
- }
+ if ($5 != null && $7 != null && $5 != $7)
+ Report.Error (30302, (Location)$4, "Type character conflicts with declared type."); // TODO: Correct error number and message text
+
+ ptype = (Expression)(($7 == null) ? (($5 == null) ? TypeManager.system_object_expr : $5) : $7);
+ if ($6 != null) {
+ string t = ptype.ToString ();
+ if (t.IndexOf('[') >= 0)
+ Report.Error (31087, (Location)$4, "Array types specified in too many places");
+ else
+ ptype = DecomposeQI (t + VariableDeclaration.BuildRanks ((ArrayList) $6, true, (Location)$4), (Location)$4);
+ }
+ if ((pm & Parameter.Modifier.PARAMS) != 0 && ptype.ToString ().IndexOf('[') < 0)
+ Report.Error (30050, (Location)$4, "ParamArray parameters must be an array type");
$$ = new Parameter (ptype, (string) $3, pm,
- (Attributes) $1, (Expression) $7, opt_parm);
- }
- ;
-
-parameter_array
- : PARAM_ARRAY identifier opt_parens AS type
- {
- string s_patype = ((Expression) $5).ToString();
- if ((bool) $3)
- s_patype += "[]";
-
- Expression patype = DecomposeQI (s_patype, Location.Null);
- $$ = new Parameter (patype, (string) $2, Parameter.Modifier.PARAMS, null);
- // note ("type must be a single-dimension array type");
+ (Attributes) $1, (Expression) $8, opt_parm);
}
;
-
-opt_parens
- : /* empty */
- { $$ = false; }
- | OPEN_PARENS CLOSE_PARENS
- { $$ = true; }
- ;
opt_parameter_modifier
: /* empty */ { $$ = Parameter.Modifier.VAL; }
: BYREF { $$ = Parameter.Modifier.REF | Parameter.Modifier.ISBYREF; }
| BYVAL { $$ = Parameter.Modifier.VAL; }
| OPTIONAL { $$ = Parameter.Modifier.OPTIONAL; }
+ | PARAM_ARRAY { $$ = Parameter.Modifier.PARAMS; }
;
opt_statement_list
statement_list
: statement
- | statement_list end_of_stmt statement
+ | statement_list end_of_stmt
+ statement
;
-statement :
- declaration_statement
+statement
+ : declaration_statement
{
if ($1 != null && (Block) $1 != current_block){
current_block.AddStatement ((Statement) $1);
}
| embedded_statement
{
- Statement s = (Statement) $1;
-
current_block.AddStatement ((Statement) $1);
}
| labeled_statement
- | ADDHANDLER prefixed_unary_expression COMMA ADDRESSOF qualified_identifier
+ | ADDHANDLER prefixed_unary_expression COMMA ADDRESSOF evt_handler
{
- AddHandler ((Expression) $2, (string) $5);
+ AddHandler ((Expression) $2, (Expression) $5);
}
- | REMOVEHANDLER prefixed_unary_expression COMMA ADDRESSOF qualified_identifier
+ | REMOVEHANDLER prefixed_unary_expression COMMA ADDRESSOF evt_handler
{
- RemoveHandler ((Expression) $2, (string) $5);
+ RemoveHandler ((Expression) $2, (Expression) $5);
}
| RAISEEVENT identifier opt_raise_event_args //OPEN_PARENS opt_argument_list CLOSE_PARENS
{
/* | empty_statement */
| with_statement
{
- Statement s = (Statement) $1;
-
current_block.AddStatement ((Statement) $1);
}
;
*/
with_statement
- : WITH expression end_of_stmt /* was : WITH qualified_identifier end_of_stmt */
+ : WITH _mark_ expression end_of_stmt /* was : WITH qualified_identifier end_of_stmt */
{
- // was : Expression e = DecomposeQI ((string) $2, lexer.Location);
- Expression e = (Expression) $2;
+ // was : Expression e = DecomposeQI ((string) $3, (Location)$2);
+ Expression e = (Expression) $3;
with_stack.Push(e);
start_block();
}
opt_statement_list
- END WITH
+ opt_end_block
{
+ int i = (int)$7;
+ if (end_priority[13]>=end_priority[i] && i!=13)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=13 && Parent!=13)
+ {
+ Report.Error(30085,(Location)$2,"'With' is not having a matching 'End With'");
+ Parent=i;
+ }
+ if(i!=13)
+ Parent=i;
+ if(Parent==13)
+ Parent=0;
Block b = end_block();
with_stack.Pop();
$$ = b;
;
foreach_statement
- : FOR EACH identifier IN
- {
- oob_stack.Push (lexer.Location);
- }
+ : FOR EACH identifier _mark_ opt_type_spec IN
expression end_of_stmt
{
-
- start_block();
- Block foreach_block = current_block;
- Location l = lexer.Location;
+ Location l = (Location)$4;
LocalVariableReference v = null;
VariableInfo vi;
- vi = foreach_block.GetVariableInfo ((string) $3);
- if (vi != null) {
- // Get a reference to this variable.
- v = new LocalVariableReference (foreach_block, (string) $3, l, vi, false);
+ if ($5 != null)
+ {
+ start_block();
+ VariableDeclaration decl = new VariableDeclaration ((string) $3,
+ (Expression) $5, null, (Location)$4, null);
+
+ vi = current_block.AddVariable (
+ (Expression) $5, decl.identifier, current_local_parameters, decl.Location);
+
+ Expression expr;
+ if (decl.expression_or_array_initializer is Expression)
+ expr = (Expression) decl.expression_or_array_initializer;
+ else if (decl.expression_or_array_initializer == null)
+ expr = null;
+ else
+ {
+ ArrayList init = (ArrayList) decl.expression_or_array_initializer;
+ expr = new ArrayCreation ((Expression) $5, "", init, decl.Location);
+ }
+
+ v = new LocalVariableReference (current_block, decl.identifier, l);
+
+ if (expr != null)
+ {
+ Assign a = new Assign (v, expr, decl.Location);
+ current_block.AddStatement (new StatementExpression (a, (Location)$4));
+ }
}
else
- Report.Error (451, "Name '" + (string) $3 + "' is not declared.");
-
+ {
+ vi = current_block.GetVariableInfo ((string) $3);
+
+ if (vi != null) {
+ // Get a reference to this variable.
+ v = new LocalVariableReference (current_block, (string) $3, l, vi, false);
+ }
+ else
+ Report.Error (451, (Location)$4,"Name '" + (string) $3 + "' is not declared.");
+ }
+
oob_stack.Push (v);
+ start_block();
}
opt_statement_list
- NEXT opt_identifier
+ opt_end_block
+ {
+ int i = (int)$11;
+ if (end_priority[1]>=end_priority[i] && i!=1)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=1 && Parent!=1)
+ {
+ Report.Error(30084,(Location)$4,"'For' is not having a matching 'Next'");
+ Parent=i;
+ }
+ if(i!=1)
+ Parent=i;
+ if(Parent==1)
+ Parent=0;
+ }
+ opt_identifier
{
- Block foreach_block = current_block;
LocalVariableReference v = (LocalVariableReference) oob_stack.Pop ();
- Block prev_block = end_block();
- Location l = (Location) oob_stack.Pop ();
+ Block foreach_block = end_block();
Foreach f = null;
- if (v != null) {
- f = new Foreach (null, v, (Expression) $6, (Statement) $9, l);
- }
+ if (v != null)
+ f = new Foreach (null, v, (Expression) $7, foreach_block, (Location)$4);
- $$ = f;
+ if ($5 != null)
+ {
+ current_block.AddStatement (f);
+ $$ = end_block ();
+ }
+ else
+ $$ = f;
}
;
yield_statement
- : YIELD expression
+ : YIELD expression _mark_
{
if (!UseExtendedSyntax)
{
}
/* else
if (iterator_container == null){
- Report.Error (204, lexer.Location, "yield statement can only be used within a method, operator or property");
+ Report.Error (204, (Location)$3, "yield statement can only be used within a method, operator or property");
$$ = null;
} else {
iterator_container.SetYields ();
- $$ = new Yield ((Expression) $2, lexer.Location);
+ $$ = new Yield ((Expression) $2, (Location)$3);
} */
}
- | YIELD STOP
+ | YIELD STOP _mark_
{
if (!UseExtendedSyntax)
{
}
/* else
if (iterator_container == null){
- Report.Error (204, lexer.Location, "yield statement can only be used within a method, operator or property");
+ Report.Error (204, (Location)$3, "yield statement can only be used within a method, operator or property");
$$ = null;
} else {
iterator_container.SetYields ();
- $$ = new YieldBreak (lexer.Location);
+ $$ = new YieldBreak ((Location)$3);
} */
}
;
synclock_statement
- : SYNCLOCK expression end_of_stmt
+ : SYNCLOCK _mark_ expression end_of_stmt
{
start_block();
}
opt_statement_list
- END SYNCLOCK
+ opt_end_block
{
- $$ = new Lock ((Expression) $2, (Statement) (Block) end_block(), lexer.Location);
+ int i = (int)$7;
+ if (end_priority[14]>=end_priority[i] && i!=14)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=14 && Parent!=14)
+ {
+ Report.Error(30675,(Location)$2,"'Synclock' is not having a matching 'End SyncLock'");
+ Parent=i;
+ }
+ if(i!=14)
+ Parent=i;
+ if(Parent==14)
+ Parent=0;
+ $$ = new Lock ((Expression) $3, (Statement) (Block) end_block(), (Location)$2);
}
;
;
try_header
- : TRY end_of_stmt
+ : TRY _mark_ end_of_stmt
{
+ try_top=(Location)$2;
start_block();
}
opt_statement_list
opt_catch_clauses
{
- tmp_catch_clauses = (ArrayList) $5;
+ tmp_catch_clauses = (ArrayList) $6;
}
;
-
+
+
+/*FIXME: Try block without a end try is throwing error at a wrong place*/
try_catch
- : try_header
- END TRY
- {
+ : try_header
+ _mark_ opt_end_block
+ {
+ int i = (int)$3;
+ if (end_priority[15]>=end_priority[i] && i!=15)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=15 && Parent!=15)
+ {
+ Report.Error(30384,try_top,"'Try' is not having a matching 'End Try'");
+ Parent=i;
+ }
+ if(i!=15)
+ Parent=i;
+ if(Parent==15)
+ Parent=0;
Catch g = null;
ArrayList s = new ArrayList ();
// and g contains the general one.
Block b = end_block();
- $$ = new Try ((Block) b, s, g, null, lexer.Location);
+ $$ = new Try ((Block) b, s, g, null, try_top);
}
;
start_block();
}
opt_statement_list
- END TRY
+ _mark_ opt_end_block
{
+ int i = (int)$8;
+ if (end_priority[15]>=end_priority[i] && i!=15)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=15 && Parent!=15)
+ {
+ Report.Error(30384,try_top,"'Try' is not having a matching 'End Try'");
+ Parent=i;
+ }
+ if(i!=15)
+ Parent=i;
+ if(Parent==15)
+ Parent=0;
+
Catch g = null;
ArrayList s = new ArrayList ();
ArrayList catch_list = (ArrayList) tmp_catch_clauses;
}
}
- $$ = new Try ((Block) tmp_block, s, g, (Block) end_block(), lexer.Location);
+ $$ = new Try ((Block) tmp_block, s, g, (Block) end_block(), try_top);
}
;
| identifier
;
+opt_when
+ : /* empty */ { $$ = null; }
+ | WHEN boolean_expression
+ {
+ $$ = $2;
+ }
+ ;
+
catch_clause
- : CATCH opt_catch_args end_of_stmt
+ : CATCH opt_catch_args opt_when _mark_ end_of_stmt
{
Expression type = null;
string id = null;
if (id != null){
ArrayList one = new ArrayList ();
- Location loc = lexer.Location;
+ Location loc = (Location)$4;
one.Add (new VariableDeclaration (id, type, loc));
-
$1 = current_block;
current_block = new Block (current_block);
Block b = declare_local_variables (type, one, loc);
current_block = b;
}
}
-
}
opt_statement_list {
Expression type = null;
current_block = current_block.Parent;
}
}
-
- $$ = new Catch (type, id , (Block)b_catch, lexer.Location);
+ $$ = new Catch (type, id , (Block) b_catch, (Expression) $3, (Location)$4);
}
- ;
+ ;
opt_catch_args
: /* empty */ { $$ = null; }
;
catch_args
- : identifier AS type
+ : identifier AS _mark_ type
{
- $$ = new DictionaryEntry ($3, $1);
+ $$ = new DictionaryEntry ($4, $1);
+ }
+ | _mark_ AS type
+ {
+ Report.Error(30203, (Location)$1, "Identifier Expected");
+ $$ = null;
+ }
+ | identifier AS _mark_
+ {
+ Report.Error(30182, (Location)$3, "Type Expected");
+ $$ = null;
}
;
-
+
do_statement
- : DO opt_do_construct end_of_stmt
+ : DO _mark_ opt_do_construct end_of_stmt
{
start_block();
- oob_stack.Push (lexer.Location);
}
opt_statement_list
- LOOP opt_do_construct
- {
- Expression t_before = (Expression) $2;
- Expression t_after = (Expression) $7;
+ opt_end_block
+ {
+ int i = (int)$7;
+ if (end_priority[2]>=end_priority[i] && i!=2)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=2 && Parent!=2)
+ {
+ Report.Error(30083,(Location)$2,"'Do' is not having a matching 'Loop'");
+ Parent=i;
+ }
+ if(i!=2)
+ Parent=i;
+ if(Parent==2)
+ Parent=0;
+ }
+ _mark_ opt_do_construct
+ {
+ Expression t_before = (Expression) $3;
+ Expression t_after = (Expression) $10;
Expression t;
if ((t_before != null) && (t_after != null))
- Report.Error (30238, "'Loop' cannot have a condition if matching 'Do' has one.");
+ Report.Error (30238, (Location)$9, "'Loop' cannot have a condition if matching 'Do' has one.");
if ((t_before == null) && (t_after == null))
t = new BoolLiteral (true);
if (((do_type == DoOptions.WHILE) && (test_type == DoOptions.TEST_BEFORE)) ||
((do_type == DoOptions.UNTIL) && (test_type == DoOptions.TEST_AFTER)))
- t = new Unary (Unary.Operator.LogicalNot, (Expression) t, lexer.Location);
+ t = new Unary (Unary.Operator.LogicalNot, (Expression) t, (Location)$2);
- $$ = new Do ((Statement) end_block(), (Expression) t, test_type, lexer.Location);
+ $$ = new Do ((Statement) end_block(), (Expression) t, test_type, (Location)$2);
}
;
}
boolean_expression end_of_stmt
opt_statement_list
- END WHILE
- {
+ opt_end_block
+ {
Location l = (Location) oob_stack.Pop ();
+ int i = (int)$6;
+ if (end_priority[16]>=end_priority[i] && i!=16)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=16 && Parent!=16)
+ {
+ Report.Error(30082,l,"'While' is not having a matching 'End While'");
+ Parent=i;
+ }
+ if(i!=16)
+ Parent=i;
+ if(Parent==16)
+ Parent=0;
Block b = end_block();
Expression e = (Expression) $3;
$$ = new While ((Expression) e, (Statement) b, l);
}
;
-
for_statement
- : FOR identifier ASSIGN expression TO expression opt_step end_of_stmt
+ : FOR _mark_ identifier opt_type_spec ASSIGN expression TO expression opt_step end_of_stmt
{
- start_block();
+ if ($4 != null)
+ {
+ start_block();
+ ArrayList VarDeclaration = new ArrayList ();
+ VarDeclaration.Add (new VariableDeclaration ((string) $3,
+ (Expression) $4, null, (Location)$2, null));
+
+ DictionaryEntry de = new DictionaryEntry (DecomposeQI("_local_vars_", (Location)$2), VarDeclaration);
+ Block b = declare_local_variables ((Expression) de.Key, (ArrayList) de.Value, (Location)$2);
+ current_block = b;
+ }
+ start_block();
}
opt_statement_list
- NEXT opt_identifier
+ opt_end_block
+ {
+ int i = (int)$13;
+ if (end_priority[1]>=end_priority[i] && i!=1)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=1 && Parent!=1)
+ {
+ Report.Error(30084,(Location)$2,"'For' is not having a matching 'Next'");
+ Parent=i;
+ }
+ if(i!=1)
+ Parent=i;
+ if(Parent==1)
+ Parent=0;
+ }
+ opt_identifier
{
- Block statement = end_block();
- Expression for_var = (Expression) DecomposeQI ((string)$2, lexer.Location);;
-
- Expression assign_expr = new Assign (for_var, (Expression) $4, lexer.Location);
- Expression test_expr = new Binary (Binary.Operator.LessThanOrEqual,
- for_var, (Expression) $6, lexer.Location);
- Expression step_expr = new Assign (for_var, (Expression) new Binary (Binary.Operator.Addition,
- for_var, (Expression) $7, lexer.Location), lexer.Location);
-
- Statement assign_stmt = new StatementExpression ((ExpressionStatement) assign_expr, lexer.Location);
- Statement step_stmt = new StatementExpression ((ExpressionStatement) step_expr, lexer.Location);
-
- $$ = new For (assign_stmt, test_expr, step_stmt, statement, lexer.Location);
- }
+ Block inner_statement = end_block();
+ Location l = (Location)$2;
+ Expression for_var = (Expression) DecomposeQI ((string)$3, l);
+
+ Expression assign_expr = new Assign (for_var, (Expression) $6, l);
+ Expression test_expr = new Binary (Binary.Operator.LessThanOrEqual,
+ for_var, (Expression) $8, l);
+ Expression step_expr = new Assign (for_var, (Expression) new Binary (Binary.Operator.Addition,
+ for_var, (Expression) $9, l), l);
+
+ Statement assign_stmt = new StatementExpression ((ExpressionStatement) assign_expr, l);
+ Statement step_stmt = new StatementExpression ((ExpressionStatement) step_expr, l);
+
+ For f = new For (assign_stmt, test_expr, step_stmt, inner_statement, l);
+ if ($4 != null)
+ {
+ current_block.AddStatement (f);
+ $$ = end_block();
+ }
+ else
+ $$ = f;
+ }
;
opt_step
;
if_statement
- : if_statement_open opt_then if_statement_rest
+ : if_statement_open opt_then end_of_stmt opt_statement_list if_statement_rest
{
- $$ = $3;
+ $$ = $5;
}
- | if_statement_open THEN pre_embedded_statement
+ | if_statement_open THEN pre_embedded_statement opt_else_pre_embedded_statement
{
- Location l = (Location) oob_stack.Pop ();
- tmp_expr = (Expression)expr_stack.Pop();
- $$ = new If ((Expression) tmp_expr, end_block(), l);
+ if ($4 == null)
+ {
+ Location l = (Location) oob_stack.Pop ();
+ tmp_expr = (Expression)expr_stack.Pop();
+ $$ = new If ((Expression) tmp_expr, end_block(), l);
+ }
+ else
+ {
+ Location l = (Location) oob_stack.Pop ();
+ tmp_expr = (Expression)expr_stack.Pop();
+ tmp_block = (Block) tmp_blocks.Pop ();
+ $$ = new If ((Expression) tmp_expr, (Statement) tmp_block, end_block(), l);
+ }
+ }
+ | if_statement_open THEN else_pre_embedded_statement
+ {
+ Location l = (Location) oob_stack.Pop ();
+ tmp_expr = (Expression)expr_stack.Pop();
+ tmp_block = (Block) tmp_blocks.Pop ();
+ $$ = new If ((Expression) tmp_expr, (Statement) tmp_block, end_block(), l);
}
;
pre_embedded_statement
: embedded_statement
{
- Statement s = (Statement) $1;
-
current_block.AddStatement ((Statement) $1);
}
;
+
+opt_else_pre_embedded_statement
+ : /* empty */
+ | else_pre_embedded_statement
+ ;
+else_pre_embedded_statement
+ : ELSE
+ {
+ Block bl = end_block();
+ tmp_blocks.Push(bl);
+
+ start_block();
+ }
+ | ELSE embedded_statement
+ {
+ Block bl = end_block();
+ tmp_blocks.Push(bl);
+
+ start_block();
+ current_block.AddStatement ((Statement) $2);
+ }
+ ;
+
+/*FIXME:if without end if not working. Error line shown is nor correct*/
if_statement_open
- : IF boolean_expression
+ : IF
{
oob_stack.Push (lexer.Location);
+ }
+ boolean_expression
+ {
start_block();
- tmp_expr = (Expression) $2;
+ tmp_expr = (Expression) $3;
expr_stack.Push(tmp_expr);
}
;
;
if_statement_rest
- : end_of_stmt
- opt_statement_list
- END IF
+ :
+ opt_end_block
{
Location l = (Location) oob_stack.Pop ();
- Expression expr = (Expression)expr_stack.Pop();
+ int i = (int)$1;
+ if (end_priority[3]>=end_priority[i] && i!=3)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=3 && Parent!=3)
+ {
+ Report.Error(30081,l,"'If' is not having a matching 'EndIf'");
+ Parent = i;
+ }
+ if(i!=3)
+ Parent=i;
+ if(Parent==3)
+ Parent=0;
+ Expression expr = (Expression)expr_stack.Pop();
$$ = new If ((Expression) expr, (Statement) end_block(), l);
}
- | end_of_stmt
- opt_statement_list
+ |
ELSE end_of_stmt
{
Block bl = end_block();
- tmp_blocks.Push(bl);
+ tmp_blocks.Push(bl);
start_block();
}
opt_statement_list
- END IF
+ opt_end_block
{
Location l = (Location) oob_stack.Pop ();
+ int i = (int)$5;
+ if (end_priority[3]>=end_priority[i] && i!=3)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=3 && Parent!=3)
+ {
+ Report.Error(30081,l,"'If' is not having a matching 'EndIf'");
+ Parent = i;
+ }
+ if(i!=3)
+ Parent=i;
+ if(Parent==3)
+ Parent=0;
tmp_expr = (Expression)expr_stack.Pop();
tmp_block = (Block) tmp_blocks.Pop();
$$ = new If ((Expression) tmp_expr, (Statement) tmp_block, (Statement) end_block(), l);
}
- | end_of_stmt
- opt_statement_list
- ELSEIF boolean_expression opt_then
+ |
+ opt_elseif boolean_expression opt_then
{
- tmp_expr = (Expression) $4;
+ tmp_expr = (Expression) $2;
expr_stack.Push(tmp_expr);
tmp_block = end_block();
tmp_blocks.Push(tmp_block);
start_block();
}
- else_if_statement_rest
+ end_of_stmt opt_statement_list
+ else_if_statement_rest
{
Statement stmt = (Statement) statement_stack.Pop();
Block bl = (Block) tmp_blocks.Pop();
else_if_statement_rest
- : end_of_stmt
- opt_statement_list
- END IF
- {
- Location l = (Location) oob_stack.Pop ();
- oob_stack.Push (l);
- Expression expr = (Expression)expr_stack.Pop();
- Statement stmt = (Statement) new If ((Expression) expr, (Statement) end_block(), l);
- statement_stack.Push(stmt);
- }
- | end_of_stmt
- opt_statement_list
+ :
ELSE end_of_stmt
{
Block bl = end_block();
start_block();
}
opt_statement_list
- END IF
+ opt_end_block
{
Location l = (Location) oob_stack.Pop ();
+ int i = (int)$5;
+ if (end_priority[3]>=end_priority[i] && i!=3)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=3 && Parent!=3)
+ {
+ Report.Error(30081,l,"'If' is not having a matching 'EndIf'");
+ Parent = i;
+ }
+ if(i!=3)
+ Parent=i;
+ if(Parent==3)
+ Parent=0;
oob_stack.Push (l);
Expression expr = (Expression)expr_stack.Pop();
Block bl = (Block)tmp_blocks.Pop();
Statement stmt = (Statement) new If ((Expression) expr, (Statement) bl , (Statement) end_block(), l);
statement_stack.Push(stmt);
}
- | end_of_stmt
- opt_statement_list
- ELSEIF boolean_expression opt_then
+ |
+ opt_elseif boolean_expression opt_then
{
- expr_stack.Push((Expression) $4);
+ expr_stack.Push((Expression) $2);
Block bl = end_block();
tmp_blocks.Push(bl);
start_block();
}
- else_if_statement_rest
+ end_of_stmt opt_statement_list
+ else_if_statement_rest
{
Location l = (Location) oob_stack.Pop ();
oob_stack.Push (l);
Statement stmt = (Statement) new If ((Expression) expr, (Statement) bl, tmp_stmt , l);
statement_stack.Push(stmt);
}
+ |
+ opt_end_block
+ {
+ Location l = (Location) oob_stack.Pop ();
+ int i = (int)$1;
+ if (end_priority[3]>=end_priority[i] && i!=3)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=3 && Parent!=3)
+ {
+ Report.Error(30081,l,"'If' is not having a matching 'EndIf'");
+ Parent = i;
+ }
+ if(i!=3)
+ Parent=i;
+ if(Parent==3)
+ Parent=0;
+ oob_stack.Push (l);
+ Expression expr = (Expression)expr_stack.Pop();
+ Statement stmt = (Statement) new If ((Expression) expr, (Statement) end_block(), l);
+ statement_stack.Push(stmt);
+ }
;
-
+
+/*FIXME:Select without an expression is showing a parser error instead of a expression missing error*/
select_statement
- : SELECT opt_case expression end_of_stmt
+ : SELECT
+ _mark_ opt_case expression end_of_stmt
{
oob_stack.Push (lexer.Location);
switch_stack.Push (current_block);
}
opt_case_sections
- END SELECT
- {
- $$ = new Switch ((Expression) $3, (ArrayList) $6, (Location) oob_stack.Pop ());
+ opt_end_block
+ {
+ int i = (int)$8;
+ if (end_priority[17]>=end_priority[i] && i!=17)
+ {
+ Report.Error(error_numbers[i],lexer.Location,"'"+end_blocks[i]+"' found without a matching '"+open_blocks[i]+"'"+open_blocks[20]);
+ Environment.Exit(1);
+ }
+ if (i!=17 && Parent!=17)
+ {
+ Report.Error(30095,(Location)$2,"'Select' is not having a matching 'End Select'");
+ Parent = i;
+ }
+ if(i!=17)
+ Parent=i;
+ if(Parent==17)
+ Parent=0;
current_block = (Block) switch_stack.Pop ();
+ $$ = new Switch ((Expression) $4, (ArrayList) $7, (Location) oob_stack.Pop ());
}
;
topmost.statements.Add (new Break (lexer.Location));
$$ = new SwitchSection ((ArrayList) $2, topmost);
}
- | CASE ELSE ends
+ | CASE ELSE ends
/* FIXME: we should somehow flag an error
(BC30321 'Case' cannot follow a 'Case Else'
in the same 'Select' statement.)
case_clauses
: case_clause
{
- ArrayList labels = new ArrayList ();
+ if ($1 is ArrayList) //From expression TO expression
+ $$ = $1;
+ else {
- labels.Add ($1);
- $$ = labels;
+ ArrayList labels = new ArrayList ();
+
+ labels.Add ($1);
+ $$ = labels;
+ }
}
| case_clauses COMMA case_clause
{
{
$$ = new SwitchLabel ((Expression) $1, lexer.Location);
}
+ | expression TO expression
+ {
+ //FIXME: need to handle when expressions are character strings.
+ Constant start = (Constant) $1;
+ Constant end = (Constant) $3;
+ int i = 0, s = 0, e = 0;
+ Location l = lexer.Location ;
+ ArrayList labels = new ArrayList ();
+
+ if (start != null)
+ s = (int) start.GetValue ();
+ if(end != null)
+ e = (int) end.GetValue ();
+ for(i = s; i <= e; i++) {
+ labels.Add(new SwitchLabel ((Expression)new IntLiteral(i), l));
+ }
+ $$ = labels;
+ }
+
;
opt_is
;
object_creation_expression
- : NEW type OPEN_PARENS opt_argument_list CLOSE_PARENS
+ : NEW type OPEN_PARENS _mark_ opt_argument_list CLOSE_PARENS
{
- $$ = new New ((Expression) $2, (ArrayList) $4, lexer.Location);
+ $$ = new New ((Expression) $2, (ArrayList) $5, (Location)$4);
}
- | NEW type
+ | NEW type _mark_
{
- $$ = new New ((Expression) $2, new ArrayList(), lexer.Location);
+ $$ = new New ((Expression) $2, new ArrayList(), (Location)$3);
}
;
array_creation_expression
- : object_creation_expression array_initializer
+ : object_creation_expression opt_rank_specifiers array_initializer
{
New n = (New) $1;
ArrayList dims = new ArrayList();
Expression atype = n.RequestedType;
- ArrayList init = (ArrayList) $2;
+ if ($2 != null)
+ atype = DecomposeQI (atype.ToString () + VariableDeclaration.BuildRanks ((ArrayList)$2, true, lexer.Location), lexer.Location);
+
+ ArrayList init = (ArrayList) $3;
if (init.Count == 0)
init = null;
else
{
string rank = VariableDeclaration.BuildRank (dims);
- $$ = new ArrayCreation (atype, rank, (ArrayList) $2, lexer.Location);
+ $$ = new ArrayCreation (atype, rank, (ArrayList) $3, lexer.Location);
}
//Console.WriteLine ("Creating a new array of type " + (atype.ToString()) + " with rank '" + dims + "'");
}
;
declaration_statement
- : local_variable_declaration
+ : _mark_ local_variable_declaration
{
- if ($1 != null){
- DictionaryEntry de = (DictionaryEntry) $1;
+ if ($2 != null){
+ DictionaryEntry de = (DictionaryEntry) $2;
- $$ = declare_local_variables ((Expression) de.Key, (ArrayList) de.Value, lexer.Location);
+ $$ = declare_local_variables ((Expression) de.Key, (ArrayList) de.Value, (Location)$1);
}
}
| local_constant_declaration
{
- if ($1 != null){
+ if ($1!= null){
DictionaryEntry de = (DictionaryEntry) $1;
$$ = declare_local_constant ((Expression) de.Key, (ArrayList) de.Value);
;
local_variable_declaration
- : DIM variable_declarators
+ : DIM _mark_ variable_declarators
{
- $$ = new DictionaryEntry (DecomposeQI("_local_vars_", lexer.Location), $2);
+ $$ = new DictionaryEntry (DecomposeQI("_local_vars_", (Location)$2), $3);
}
;
;
constant_declarator
- : variable_name opt_type_decl opt_variable_initializer
+ : _mark_ variable_name opt_type_decl opt_variable_initializer
{
- VarName vname = (VarName) $1;
+ VarName vname = (VarName) $2;
string varname = (string) vname.Name;
current_rank_specifiers = (ArrayList) vname.Rank;
- object varinit = $3;
- ArrayList a_dims = null;
+ object varinit = $4;
if (varinit == null)
Report.Error (
- 30438, lexer.Location, "Constant should have a value"
+ 30438, (Location)$1, "Constant should have a value"
);
- if (vname.Type != null && $2 != null)
+ if (vname.Type != null && $3 != null)
Report.Error (
- 30302, lexer.Location,
+ 30302, (Location)$1,
"Type character cannot be used with explicit type declaration" );
- Expression vartype = ($2 == null) ? ((vname.Type == null) ? TypeManager.system_object_expr : (Expression) vname.Type ) : (Expression) $2;
+ Expression vartype = ($3 == null) ? ((vname.Type == null) ? TypeManager.system_object_expr : (Expression) vname.Type ) : (Expression) $3;
if (current_rank_specifiers != null)
{
- Report.Error (30424, lexer.Location, "Constant doesn't support array");
+ Report.Error (30424, (Location)$1, "Constant doesn't support array");
$$ = null;
}
else
- $$ = new VariableDeclaration (varname, vartype, varinit, lexer.Location, null);
+ $$ = new VariableDeclaration (varname, vartype, varinit, (Location)$1, null);
}
;
;
variable_declarator
- : variable_names opt_type_decl opt_variable_initializer
+ : _mark_ variable_names opt_type_decl opt_variable_initializer
{
- ArrayList names = (ArrayList) $1;
- object varinit = $3;
+ ArrayList names = (ArrayList) $2;
+ object varinit = $4;
ArrayList VarDeclarations = new ArrayList();
Expression vartype;
ArrayList a_dims = null;
if ((names.Count > 1) && (varinit != null))
Report.Error (
- 30671, lexer.Location,
+ 30671, (Location)$1,
"Multiple variables with single type can not have " +
"a explicit initialization" );
string varname = (string) vname.Name;
current_rank_specifiers = (ArrayList) vname.Rank;
a_dims = null;
- varinit = $3;
+ varinit = $4;
- if(vname.Type != null && $2 != null)
+ if(vname.Type != null && $3 != null)
Report.Error (
- 30302, lexer.Location,
+ 30302, (Location)$1,
"Type character cannot be used with explicit type declaration" );
// Some checking is required for particularly weird declarations
// like Dim a As Integer(,)
- if ($2 is Pair) {
- vartype = (Expression) ((Pair) $2).First;
+ if ($3 is Pair) {
+ vartype = (Expression) ((Pair) $3).First;
- /*if ($3 != null && $3 is ArrayList)
+ /*if ($4 != null && $4 is ArrayList)
Report.Error (205, "End of statement expected.");*/
- ArrayList args = (ArrayList) ((Pair) $2).Second;
+ ArrayList args = (ArrayList) ((Pair) $3).Second;
if (current_rank_specifiers != null)
- Report.Error (31087, lexer.Location,
+ Report.Error (31087, (Location)$1,
"Array types specified in too many places");
if (VariableDeclaration.IndexesSpecifiedInRank (args))
Report.Error (30638, "Array bounds cannot appear in type specifiers.");
current_rank_specifiers = new ArrayList ();
- current_rank_specifiers.Add (args);
-
- /*string s_vartype = vartype.ToString();
- s_vartype += "[";
- if (args != null)
- for (int x = 0; x < args.Count; x++)
- s_vartype += ",";
-
- s_vartype += "]";
- vartype = DecomposeQI(s_vartype, Location.Null); */
+ current_rank_specifiers.Add (args);
}
else
- vartype = ($2 == null) ? ((vname.Type == null) ? TypeManager.system_object_expr : (Expression) vname.Type ) : (Expression) $2;
+ vartype = ($3 == null) ? ((vname.Type == null) ? TypeManager.system_object_expr : (Expression) vname.Type ) : (Expression) $3;
// if the variable is an array with explicit bound
// and having explicit initialization throw exception
if (!((Expression)expr is EmptyExpression ))
{
Report.Error (
- 30672, lexer.Location,
+ 30672, (Location)$1,
"Array declared with explicit bound " +
" can not have explicit initialization");
broken = true;
if (VariableDeclaration.IndexesSpecified(current_rank_specifiers)) {
a_dims = (ArrayList) current_rank_specifiers;
VariableDeclaration.VBFixIndexLists (ref a_dims);
- varinit = VariableDeclaration.BuildArrayCreator(vartype, a_dims, (ArrayList) varinit, lexer.Location);
+ varinit = VariableDeclaration.BuildArrayCreator(vartype, a_dims, (ArrayList) varinit, (Location)$1);
}
- vartype = DecomposeQI (vartype.ToString() + VariableDeclaration.BuildRanks (this), lexer.Location);
+ vartype = DecomposeQI (vartype.ToString() + VariableDeclaration.BuildRanks (current_rank_specifiers, false, (Location)$1), (Location)$1);
}
if (vartype is New) {
if (varinit != null) {
- Report.Error (30205, lexer.Location, "End of statement expected");
+ Report.Error (30205, (Location)$1, "End of statement expected");
$$ = null;
}
else
vartype = ((New)vartype).RequestedType;
}
}
- VarDeclarations.Add (new VariableDeclaration (varname, vartype, varinit, lexer.Location, null));
+ VarDeclarations.Add (new VariableDeclaration (varname, vartype, varinit, (Location)$1, null));
}// end of for
$$ = VarDeclarations;
}
: opt_type_spec
| AS type rank_specifiers
{
- $$ = TypeManager.system_object_expr;
+ $$ = DecomposeQI ($2.ToString() + VariableDeclaration.BuildRanks ((ArrayList)$3, true, lexer.Location), lexer.Location);
}
;
opt_type_decl
- : opt_type_spec
+ : opt_type_with_ranks
{
$$ = $1;
}
- | AS type OPEN_PARENS /*opt_argument_list*/ opt_dim_separators CLOSE_PARENS
- {
- $$ = new Pair ($2, $4);
- }
| AS NEW type
{
New n = new New ((Expression)$3, null, lexer.Location);
;
rank_specifier
- : OPEN_PARENS opt_dim_separators CLOSE_PARENS
+ : OPEN_PARENS opt_dim_specifiers CLOSE_PARENS
{
$$ = $2;
}
;
-opt_dim_separators
+opt_dim_specifiers
: /* empty */
- {
- ArrayList ds = new ArrayList();
- ds.Add (new EmptyExpression());
- $$ = ds;
- }
- | dim_separators
- {
- ArrayList ds = (ArrayList) $1;
- ds.Add (new EmptyExpression());
- $$ = ds;
- }
- | dim_specifiers
- {
- $$ = $1;
- }
- ;
-
-dim_separators
- : COMMA
{
ArrayList ds = new ArrayList();
ds.Add (new EmptyExpression());
$$ = ds;
- }
- | dim_separators COMMA
- {
- ArrayList ds = (ArrayList) $1;
- ds.Add (new EmptyExpression());
- $$ = ds;
- }
- ;
-
-dim_specifiers
- : expression
+ }
+ | expression
{
ArrayList ds = new ArrayList();
ds.Add ((Expression) $1);
$$ = ds;
}
- | dim_specifiers COMMA expression
+ | opt_dim_specifiers COMMA expression
{
ArrayList ds = (ArrayList) $1;
ds.Add ((Expression) $3);
$$ = ds;
}
+ | opt_dim_specifiers COMMA
+ {
+ ArrayList ds = (ArrayList) $1;
+ ds.Add (new EmptyExpression());
+ $$ = ds;
+ }
;
primary_expression
string name = (string) $1;
$$ = DecomposeQI (name, lexer.Location);
}
- //FIXME: address_of_expression is apparently missing here
| get_type_expression
- {
- // TODO
- }
| member_access
| invocation_expression
//| element_access
| new_expression
| cast_expression
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
literal
else if (v is long)
$$ = new LongLiteral ((Int64)v);
else
- Console.WriteLine ("OOPS. Unexpected result from scanner");
+ Console.WriteLine ("Unexpected result from scanner");
}
;
}
}
;
-
+
predefined_type
: builtin_types
;
invocation_expression
- : primary_expression OPEN_PARENS opt_argument_list CLOSE_PARENS
+ : primary_expression OPEN_PARENS opt_argument_list _mark_ CLOSE_PARENS
{
if ($1 == null) {
- Location l = lexer.Location;
+ Location l = (Location)$4;
Report.Error (1, l, "THIS IS CRAZY");
}
- $$ = new Invocation ((Expression) $1, (ArrayList) $3, lexer.Location);
+ $$ = new Invocation ((Expression) $1, (ArrayList) $3, (Location)$4);
// Console.WriteLine ("Invocation: {0} with {1} arguments", $1, ($3 != null) ? ((ArrayList) $3).Count : 0);
- }
+ }
+
+// To support Mid$()
+ | primary_expression DOLAR_SIGN OPEN_PARENS opt_argument_list _mark_ CLOSE_PARENS
+ {
+ if ($1 == null) {
+ Location l = (Location)$5;
+ Report.Error (1, l, "THIS IS CRAZY");
+ }
+ $$ = new Invocation ((Expression) $1, (ArrayList) $4, (Location)$5);
+ // Console.WriteLine ("Invocation: {0} with {1} arguments", $1, ($4 != null) ? ((ArrayList) $4).Count : 0);
+ }
+ | CALL primary_expression OPEN_PARENS opt_argument_list _mark_ CLOSE_PARENS
+ {
+ if ($2 == null) {
+ Location l = (Location)$5;
+ Report.Error (1, l, "THIS IS CRAZY");
+ }
+ $$ = new Invocation ((Expression) $2, (ArrayList) $3, (Location)$5);
+// Console.WriteLine ("Invocation: {0} with {1} arguments", $2, ($3 != null) ? ((ArrayList) $3).Count : 0);
+ }
;
base_access
expression
- : conditional_xor_expression { $$ = $1; }
+ : conditional_xor_expression { $$ = $1; }
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
/*| assignment_expression*/
;
| COBJ { $$ = TypeManager.system_object_expr; }
| CSHORT { $$ = TypeManager.system_int16_expr; }
| CSNG { $$ = TypeManager.system_single_expr; }
- | CSTR { $$ = TypeManager.system_string_expr; }
+ | CSTR { $$ = TypeManager.system_string_expr; }
;
get_type_expression
- : GETTYPE OPEN_PARENS type CLOSE_PARENS
+ : GETTYPE _mark_ OPEN_PARENS type CLOSE_PARENS
{
- //TODO
+ $$ = new TypeOf ((Expression) $4, (Location)$2);
}
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
exponentiation_expression
: primary_expression
- | exponentiation_expression OP_EXP primary_expression
+ | exponentiation_expression OP_EXP _mark_ primary_expression
{
- //TODO
+ $$ = new Exponentiation ((Location)$3, (Expression) $1, (Expression) $4);
}
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
prefixed_unary_expression
: exponentiation_expression
- | PLUS prefixed_unary_expression
+ | PLUS _mark_ prefixed_unary_expression
{
//FIXME: Is this rule correctly defined ?
- $$ = new Unary (Unary.Operator.UnaryPlus, (Expression) $2, lexer.Location);
+ $$ = new Unary (Unary.Operator.UnaryPlus, (Expression) $3, (Location)$2);
}
- | MINUS prefixed_unary_expression
+ | MINUS _mark_ prefixed_unary_expression
{
//FIXME: Is this rule correctly defined ?
- $$ = new Unary (Unary.Operator.UnaryNegation, (Expression) $2, lexer.Location);
+ $$ = new Unary (Unary.Operator.UnaryNegation, (Expression) $3, (Location)$2);
}
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
multiplicative_expression
: prefixed_unary_expression
- | multiplicative_expression STAR prefixed_unary_expression
+ | multiplicative_expression _mark_ STAR prefixed_unary_expression
{
$$ = new Binary (Binary.Operator.Multiply,
- (Expression) $1, (Expression) $3, lexer.Location);
+ (Expression) $1, (Expression) $4, (Location)$2);
}
- | multiplicative_expression DIV prefixed_unary_expression
+ | multiplicative_expression _mark_ DIV prefixed_unary_expression
{
$$ = new Binary (Binary.Operator.Division,
- (Expression) $1, (Expression) $3, lexer.Location);
+ (Expression) $1, (Expression) $4, (Location)$2);
}
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
integer_division_expression
: multiplicative_expression
- | integer_division_expression OP_IDIV multiplicative_expression
+ | integer_division_expression _mark_ OP_IDIV multiplicative_expression
{
//FIXME: Is this right ?
- $$ = new Binary (Binary.Operator.Division,
- (Expression) $1, (Expression) $3, lexer.Location);
+ $$ = new Binary (Binary.Operator.IntDivision,
+ (Expression) $1, (Expression) $4, (Location)$2);
}
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
mod_expression
: integer_division_expression
- | mod_expression MOD integer_division_expression
+ | mod_expression _mark_ MOD integer_division_expression
{
$$ = new Binary (Binary.Operator.Modulus,
- (Expression) $1, (Expression) $3, lexer.Location);
+ (Expression) $1, (Expression) $4, (Location)$2);
}
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
additive_expression
: mod_expression
- | additive_expression PLUS mod_expression
+ | additive_expression _mark_ PLUS mod_expression
{
$$ = new Binary (Binary.Operator.Addition,
- (Expression) $1, (Expression) $3, lexer.Location);
+ (Expression) $1, (Expression) $4, (Location)$2);
}
- | additive_expression MINUS mod_expression
+ | additive_expression _mark_ MINUS mod_expression
{
$$ = new Binary (Binary.Operator.Subtraction,
- (Expression) $1, (Expression) $3, lexer.Location);
+ (Expression) $1, (Expression) $4, (Location)$2);
}
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
concat_expression
: additive_expression
- | concat_expression OP_CONCAT additive_expression
+ | concat_expression _mark_ OP_CONCAT additive_expression
{
// FIXME: This should only work for String expressions
// We probably need to use something from the runtime
- $$ = new Binary (Binary.Operator.Addition,
- (Expression) $1, (Expression) $3, lexer.Location);
+ $$ = new StringConcat((Location)$2,
+ (Expression) $1, (Expression) $4);
}
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
+
shift_expression
: concat_expression
- | shift_expression OP_SHIFT_LEFT concat_expression
+ | shift_expression _mark_ OP_SHIFT_LEFT concat_expression
{
- // TODO
+ $$ = new Binary(Binary.Operator.LeftShift, (Expression) $1, (Expression) $4, (Location)$2);
}
- | shift_expression OP_SHIFT_RIGHT concat_expression
+ | shift_expression _mark_ OP_SHIFT_RIGHT concat_expression
{
- //TODO
+ $$ = new Binary(Binary.Operator.RightShift, (Expression) $1, (Expression) $4, (Location)$2);
}
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
relational_expression
: shift_expression
- | relational_expression ASSIGN shift_expression
+ | relational_expression _mark_ ASSIGN shift_expression
{
$$ = new Binary (Binary.Operator.Equality,
- (Expression) $1, (Expression) $3, lexer.Location);
+ (Expression) $1, (Expression) $4, (Location)$2);
}
- | relational_expression OP_NE shift_expression
+ | relational_expression _mark_ OP_NE shift_expression
{
$$ = new Binary (Binary.Operator.Inequality,
- (Expression) $1, (Expression) $3, lexer.Location);
+ (Expression) $1, (Expression) $4, (Location)$2);
}
- | relational_expression OP_LT shift_expression
+ | relational_expression _mark_ OP_LT shift_expression
{
$$ = new Binary (Binary.Operator.LessThan,
- (Expression) $1, (Expression) $3, lexer.Location);
+ (Expression) $1, (Expression) $4, (Location)$2);
}
- | relational_expression OP_GT shift_expression
+ | relational_expression _mark_ OP_GT shift_expression
{
$$ = new Binary (Binary.Operator.GreaterThan,
- (Expression) $1, (Expression) $3, lexer.Location);
+ (Expression) $1, (Expression) $4, (Location)$2);
}
- | relational_expression OP_LE shift_expression
+ | relational_expression _mark_ OP_LE shift_expression
{
$$ = new Binary (Binary.Operator.LessThanOrEqual,
- (Expression) $1, (Expression) $3, lexer.Location);
+ (Expression) $1, (Expression) $4, (Location)$2);
}
- | relational_expression OP_GE shift_expression
+ | relational_expression _mark_ OP_GE shift_expression
{
$$ = new Binary (Binary.Operator.GreaterThanOrEqual,
- (Expression) $1, (Expression) $3, lexer.Location);
+ (Expression) $1, (Expression) $4, (Location)$2);
}
- | relational_expression IS shift_expression
+ | relational_expression _mark_ IS shift_expression
{
- //FIXME: Is this rule correctly defined ?
+ $$ = new Binary (Binary.Operator.Is,
+ (Expression) $1, (Expression) $4, (Location)$2);
}
- | TYPEOF shift_expression IS namespace_or_type_name
+ | TYPEOF _mark_ shift_expression IS type
{
- //FIXME: Is this rule correctly defined ?
+ //FIXME: Is this rule correctly defined ?
+ $$ = new Is ((Expression) $3, (Expression) $5, (Location)$2);
}
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
negation_expression
: relational_expression
- | NOT negation_expression
+ | NOT _mark_ negation_expression
{
//FIXME: Is this rule correctly defined ?
- $$ = new Unary (Unary.Operator.LogicalNot, (Expression) $2, lexer.Location);
+ $$ = new Unary (Unary.Operator.LogicalNot, (Expression) $3, (Location)$2);
}
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
conditional_and_expression
: negation_expression
- | conditional_and_expression AND negation_expression
+ | conditional_and_expression _mark_ AND negation_expression
{
- $$ = new Binary (Binary.Operator.LogicalAnd,
- (Expression) $1, (Expression) $3, lexer.Location);
+ $$ = new Binary (Binary.Operator.BitwiseAnd,
+ (Expression) $1, (Expression) $4, (Location)$2);
}
- | conditional_and_expression ANDALSO negation_expression
+ | conditional_and_expression _mark_ ANDALSO negation_expression
{ // FIXME: this is likely to be broken
$$ = new Binary (Binary.Operator.LogicalAnd,
- (Expression) $1, (Expression) $3, lexer.Location);
+ (Expression) $1, (Expression) $4, (Location)$2);
}
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
conditional_or_expression
: conditional_and_expression
- | conditional_or_expression OR conditional_and_expression
+ | conditional_or_expression _mark_ OR conditional_and_expression
{
- $$ = new Binary (Binary.Operator.LogicalOr,
- (Expression) $1, (Expression) $3, lexer.Location);
+ $$ = new Binary (Binary.Operator.BitwiseOr,
+ (Expression) $1, (Expression) $4, (Location)$2);
}
- | conditional_or_expression ORELSE conditional_and_expression
+ | conditional_or_expression _mark_ ORELSE conditional_and_expression
{ // FIXME: this is likely to be broken
$$ = new Binary (Binary.Operator.LogicalOr,
- (Expression) $1, (Expression) $3, lexer.Location);
+ (Expression) $1, (Expression) $4, (Location)$2);
}
+ | /*empty*/ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
conditional_xor_expression
: conditional_or_expression
- | conditional_xor_expression XOR conditional_or_expression
+ | conditional_xor_expression _mark_ XOR conditional_or_expression
{
- $$ = new Binary (Binary.Operator.ExclusiveOr,
- (Expression) $1, (Expression) $3, lexer.Location);
+ $$ = new Binary (Binary.Operator.ExclusiveOr,
+ (Expression) $1, (Expression) $4, (Location)$2);
}
+ | /* empty */ _mark_
+ { Report.Error(30201,(Location)$1,"Expression expected"); }
;
assignment_expression
- : prefixed_unary_expression ASSIGN expression
+ : prefixed_unary_expression _mark_ ASSIGN expression
{
- $$ = new Assign ((Expression) $1, (Expression) $3, lexer.Location);
+ $$ = new Assign ((Expression) $1, (Expression) $4, (Location)$2);
+ }
+ | prefixed_unary_expression _mark_ STAR ASSIGN expression
+ {
+ Location l = (Location)$2;
+
+ $$ = new CompoundAssign (
+ Binary.Operator.Multiply, (Expression) $1, (Expression) $5, l);
+ }
+ | prefixed_unary_expression _mark_ DIV ASSIGN expression
+ {
+ Location l = (Location)$2;
+
+ $$ = new CompoundAssign (
+ Binary.Operator.Division, (Expression) $1, (Expression) $5, l);
+ }
+ | prefixed_unary_expression _mark_ PLUS ASSIGN expression
+ {
+ Location l = (Location)$2;
+
+ $$ = new CompoundAssign (
+ Binary.Operator.Addition, (Expression) $1, (Expression) $5, l);
+ }
+ | prefixed_unary_expression _mark_ MINUS ASSIGN expression
+ {
+ Location l = (Location)$2;
+
+ $$ = new CompoundAssign (
+ Binary.Operator.Subtraction, (Expression) $1, (Expression) $5, l);
+ }
+ | prefixed_unary_expression _mark_ OP_SHIFT_LEFT ASSIGN expression
+ {
+ Location l = (Location)$2;
+
+ $$ = new CompoundAssign (
+ Binary.Operator.LeftShift, (Expression) $1, (Expression) $5, l);
+ }
+ | prefixed_unary_expression _mark_ OP_SHIFT_RIGHT ASSIGN expression
+ {
+ Location l = (Location)$2;
+
+ $$ = new CompoundAssign (
+ Binary.Operator.RightShift, (Expression) $1, (Expression) $5, l);
+ }
+ | prefixed_unary_expression _mark_ OP_CONCAT ASSIGN expression
+ {
+ Location l = (Location)$2;
+
+ // FIXME should be strings only
+ $$ = new CompoundAssign (
+ Binary.Operator.Addition, (Expression) $1, (Expression) $5, l);
}
- | prefixed_unary_expression ASSIGN ADDRESSOF expression
+ | prefixed_unary_expression _mark_ OP_EXP ASSIGN expression
+ {
+ /*Location l = (Location)$2;
+
+ TODO: $$ = new CompoundAssign (
+ Binary.Operator.ExclusiveOr, (Expression) $1, (Expression) $5, l); */
+ }
+ | prefixed_unary_expression _mark_ ASSIGN ADDRESSOF expression
{
ArrayList args = new ArrayList();
- Argument arg = new Argument ((Expression) $4, Argument.AType.Expression);
+ Argument arg = new Argument ((Expression) $5, Argument.AType.Expression);
args.Add (arg);
- New n = new New ((Expression) $1, (ArrayList) args, lexer.Location);
+ New n = new New ((Expression) $1, (ArrayList) args, (Location)$2);
n.isDelegate = true;
- $$ = new Assign ((Expression) $1, (Expression) n, lexer.Location);
+ $$ = new Assign ((Expression) $1, (Expression) n, (Location)$2);
}
;
| DOUBLE { $$ = TypeManager.system_double_expr; }
;
-interface_type
- : namespace_or_type_name
- ;
-
pp_directive
- : HASH IDENTIFIER OPEN_PARENS LITERAL_STRING COMMA LITERAL_INTEGER CLOSE_PARENS EOL
+ : HASH IDENTIFIER OPEN_PARENS LITERAL_STRING COMMA LITERAL_INTEGER CLOSE_PARENS _mark_ EOL
{
if(tokenizerController.IsAcceptingTokens)
{
if(in_external_source)
- Report.Error (30580, lexer.Location, "#ExternalSource directives may not be nested");
+ Report.Error (30580, (Location)$8, "#ExternalSource directives may not be nested");
else {
in_external_source = true;
}
}
}
- | HASH IDENTIFIER LITERAL_STRING EOL
+ | HASH IDENTIFIER LITERAL_STRING _mark_ EOL
{
if(tokenizerController.IsAcceptingTokens)
{
- string id = ($2 as string);
-
if(!($2 as string).ToLower().Equals("region"))
- Report.Error (30205, lexer.Location, "Invalid Pre-processor directive");
+ Report.Error (30205, (Location)$4, "Invalid Pre-processor directive");
else
{
++in_marked_region;
}
}
}
- | HASH END IDENTIFIER EOL
+ | HASH END IDENTIFIER _mark_ EOL
{
if(tokenizerController.IsAcceptingTokens)
{
if( ($3 as string).ToLower().Equals("externalsource")) {
if(!in_external_source)
- Report.Error (30578, lexer.Location, "'#End ExternalSource' must be preceded by a matching '#ExternalSource'");
+ Report.Error (30578, (Location)$4, "'#End ExternalSource' must be preceded by a matching '#ExternalSource'");
else {
in_external_source = false;
lexer.EffectiveSource = lexer.Source;
if(in_marked_region > 0)
--in_marked_region;
else
- Report.Error (30205, lexer.Location, "'#End Region' must be preceded by a matching '#Region'");
+ Report.Error (30205, (Location)$4, "'#End Region' must be preceded by a matching '#Region'");
}
else {
- Report.Error (29999, lexer.Location, "Unrecognized Pre-Processor statement");
+ Report.Error (29999, (Location)$4, "Unrecognized Pre-Processor statement");
}
}
}
- | HASH CONST IDENTIFIER ASSIGN boolean_literal EOL
+ | HASH CONST IDENTIFIER ASSIGN boolean_literal _mark_ EOL
{
if(tokenizerController.IsAcceptingTokens)
{
//TODO;
+ //FIXME;
}
}
- | HASH IF
+ | HASH IF _mark_
{
IfElseStateMachine.Token tok = IfElseStateMachine.Token.IF;
ifElseStateMachine.HandleToken(tok);
}
catch(ApplicationException) {
- throw new MBASException(ifElseStateMachine.Error, lexer.Location, ifElseStateMachine.ErrString);
+ throw new MBASException(ifElseStateMachine.Error, (Location)$3, ifElseStateMachine.ErrString);
}
}
boolean_literal opt_then EOL
{
- HandleConditionalDirective(IfElseStateMachine.Token.IF, (BoolLiteral)$4);
+ HandleConditionalDirective(IfElseStateMachine.Token.IF, (BoolLiteral)$5);
}
- | HASH ELSEIF
+ | HASH opt_elseif _mark_
{
IfElseStateMachine.Token tok = IfElseStateMachine.Token.ELSEIF;
try {
ifElseStateMachine.HandleToken(tok);
}
catch(ApplicationException) {
- throw new MBASException(ifElseStateMachine.Error, lexer.Location, ifElseStateMachine.ErrString);
+ throw new MBASException(ifElseStateMachine.Error, (Location)$3, ifElseStateMachine.ErrString);
}
}
boolean_literal opt_then EOL
{
- HandleConditionalDirective(IfElseStateMachine.Token.ELSEIF, (BoolLiteral)$4);
+ HandleConditionalDirective(IfElseStateMachine.Token.ELSEIF, (BoolLiteral)$5);
}
- | HASH ELSE
+ | HASH ELSE _mark_
{
IfElseStateMachine.Token tok = IfElseStateMachine.Token.ELSE;
try {
ifElseStateMachine.HandleToken(tok);
}
catch(ApplicationException) {
- throw new MBASException(ifElseStateMachine.Error, lexer.Location, ifElseStateMachine.ErrString);
+ throw new MBASException(ifElseStateMachine.Error, (Location)$3, ifElseStateMachine.ErrString);
}
}
EOL
{
HandleConditionalDirective(IfElseStateMachine.Token.ELSE, new BoolLiteral(true));
}
- | HASH END IF
+ | HASH END IF _mark_
{
+ /*FIXME: IF without ENDIF not working properly. Error line is not diplayed properly*/
+
IfElseStateMachine.Token tok = IfElseStateMachine.Token.ENDIF;
try {
ifElseStateMachine.HandleToken(tok);
}
catch(ApplicationException) {
- throw new MBASException(ifElseStateMachine.Error, lexer.Location, ifElseStateMachine.ErrString);
+ throw new MBASException(ifElseStateMachine.Error, (Location)$4, ifElseStateMachine.ErrString);
}
}
EOL
{
HandleConditionalDirective(IfElseStateMachine.Token.ENDIF, new BoolLiteral(false));
}
- | HASH error EOL
+ | HASH error _mark_ EOL
{
if(tokenizerController.IsAcceptingTokens)
- Report.Error(2999, lexer.Location, "Unrecognized Pre-Processor statement");
+ Report.Error(29999, (Location)$3, "Unrecognized Pre-Processor statement");
else
- Report.Warning (9999, lexer.Location, "Unrecognized Pre-Processor statement");
+ Report.Warning (29999, (Location)$3,"Unrecognized Pre-Processor statement");
}
;
+// Utility rule to save location information
+_mark_
+ : /* empty */
+ { $$ = lexer.Location; if (yyToken == Token.EOL) { $$ = new Location (lexer.Location.Row - 1, lexer.Location.Col); } }
+ ;
+
+// Changed to accept "Else If" also along with "ElseIf"
+opt_elseif
+ : ELSEIF
+ | ELSE IF
+ ;
+
+// Changed so as to check if every block is closed or not...
+opt_end_block
+ : END opt_block_types
+ {
+ $$ = 2 + (int)$2 ;
+ }
+ | NEXT
+ {$$ = 1;}
+ | LOOP
+ {$$ = 2;}
+ | /* empty */
+ {$$ = 0;}
+ ;
+
+opt_block_types
+ : IF
+ {$$ = 1;}
+ | SUB
+ {$$ = 2;}
+ | MODULE
+ {$$ = 3;}
+ | NAMESPACE
+ {$$ = 4;}
+ | CLASS
+ {$$ = 5;}
+ | FUNCTION
+ {$$ = 6;}
+ | STRUCTURE
+ {$$ = 7;}
+ | ENUM
+ {$$ = 8;}
+ | INTERFACE
+ {$$ = 9;}
+ | PROPERTY
+ {$$ = 10;}
+ | WITH
+ {$$ = 11;}
+ | SYNCLOCK
+ {$$ = 12;}
+ | TRY
+ {$$ = 13;}
+ | WHILE
+ {$$ = 14;}
+ | SELECT
+ {$$ = 15;}
+ | SET
+ {$$ = 16;}
+ | GET
+ {$$ = 17;}
+ ;
+
%%
foreach (VariableDeclaration decl in variable_declarators){
Expression type = decl.type;
- if (implicit_block.AddVariable (type, decl.identifier, current_local_parameters, decl.Location) != null) {
+ if (implicit_block.AddVariable (type, decl.identifier, current_local_parameters, loc) != null) {
if (decl.expression_or_array_initializer != null){
if (inits == null)
inits = new ArrayList ();
}
public static string BuildRank (ArrayList rank)
+ {
+ bool allEmpty;
+ return BuildRank(rank, out allEmpty);
+ }
+
+ public static string BuildRank (ArrayList rank, out bool allEmpty)
{
string res = "";
res += "[";
- for (int x = 0; x < (rank.Count -1 ); x++)
- res += ",";
+ allEmpty = true;
+ bool first = true;
+ foreach (object e in rank) {
+ if (!(e is EmptyExpression))
+ allEmpty = false;
+ if (!first)
+ res += ",";
+ first = false;
+ }
res += "]";
return res;
}
- public static string BuildRanks (Parser t)
+ public static string BuildRanks (ArrayList rank_specifiers, bool mustBeEmpty, Location loc)
{
string res = "";
- foreach (ArrayList rank in t.current_rank_specifiers)
- res += BuildRank (rank);
+ bool allEmpty = true;
+ foreach (ArrayList rank in rank_specifiers) {
+ bool tmp;
+ res = BuildRank (rank, out tmp) + res;
+ if (!tmp)
+ allEmpty = false;
+ }
+ if (!allEmpty && mustBeEmpty)
+ Report.Error (30638, loc, "Array bounds cannot appear in type specifiers.");
return res;
}
public static void FixupArrayTypes (ArrayList vars)
{
- int varcount = vars.Count;
string dims;
foreach (VariableDeclaration var in vars) {
return (res);
}
-private void AddHandler (Expression evt_definition, string handler_name)
+private void AddHandler (Expression evt_definition, Expression handler_exp)
{
- AddHandler (current_block, evt_definition, handler_name);
+ AddHandler (current_block, evt_definition, handler_exp);
}
void CheckAttributeTarget (string a)
}
}
-private void AddHandler (Block b, Expression evt_id, string handler_name)
+private void AddHandler (Block b, Expression evt_id, Expression handles_exp)
{
- Location loc = lexer.Location;
- string evt_target = evt_id.ToString();
- evt_target = evt_target.Substring (0, evt_target.LastIndexOf('.'));
- Statement s = (Statement) new AddHandler (evt_id, DecomposeQI(handler_name, loc), DecomposeQI(evt_target, loc), loc);
- b.AddStatement (s);
+ Location loc = lexer.Location;
+
+ Statement addhnd = (Statement) new AddHandler (evt_id,
+ handles_exp,
+ loc);
+ b.AddStatement (addhnd);
}
private void RaiseEvent (string evt_name, ArrayList args)
current_block.AddStatement (s);
}
-private void RemoveHandler (Block b, Expression evt_definition, string handler_name)
+private void RemoveHandler (Block b, Expression evt_definition, Expression handler_exp)
{
Location loc = lexer.Location;
- string evt_target = evt_definition.ToString();
- evt_target = evt_target.Substring (0, evt_target.LastIndexOf('.'));
- Statement s = (Statement) new RemoveHandler (evt_definition, DecomposeQI(handler_name, loc), DecomposeQI(evt_target, loc), loc);
- b.AddStatement (s);
+
+ Statement rmhnd = (Statement) new RemoveHandler (evt_definition,
+ handler_exp,
+ loc);
+ b.AddStatement (rmhnd);
}
// <summary>
}
-private void RemoveHandler (Expression evt_definition, string handler_name)
+private void RemoveHandler (Expression evt_definition, Expression handler_exp)
{
- RemoveHandler (current_block, evt_definition, handler_name);
+ RemoveHandler (current_block, evt_definition, handler_exp);
}
private ConstructorInitializer CheckConstructorInitializer (ref ArrayList s)
with_stack = new Stack();
statement_stack = new Stack();
+ allow_global_attribs = true;
+ expecting_global_attribs = false;
+ expecting_local_attribs = false;
+ local_attrib_section_added = false;
+
UseExtendedSyntax = name.EndsWith(".mbs");
OptionExplicit = InitialOptionExplicit || UseExtendedSyntax;
OptionStrict = InitialOptionStrict || UseExtendedSyntax;
ifElseStateMachine = new IfElseStateMachine();
tokenizerController = new TokenizerController(lexer);
- StringBuilder value = new StringBuilder ();
try {
- if (yacc_verbose_flag)
+ if (yacc_verbose_flag > 0)
yyparse (lexer, new yydebug.yyDebugSimple ());
else {
yyparse (lexer);
Report.Error(e.code, e.loc, e.Message);
}
catch (Exception e) {
- Report.Error (29999, lexer.Location, lexer.location + "\nParsing error in " + lexer.EffectiveSource + "\n" + e.ToString());
+ if (Report.Stacktrace)
+ Console.WriteLine(e);
+ Report.Error (29999, lexer.Location, "Parsing error");
}
RootContext.VerifyImports();
projects / mono.git / blobdiff