//
#define USE_OLD
-namespace Mono.CSharp {
+namespace Mono.MonoBASIC {
using System;
using System.Collections;
using System.Reflection;
using System.Reflection.Emit;
using System.Text;
- using Mono.MonoBASIC;
/// <summary>
/// This is just a helper class, it is generated by Unary, UnaryMutator
Error (
23, "Operator " + OperName (Oper) +
" cannot be applied to operand of type '" +
- TypeManager.CSharpName (t) + "'");
+ TypeManager.MonoBASIC_Name (t) + "'");
}
/// <remarks>
}
Error (187, "No such operator '" + OperName (Oper) + "' defined for type '" +
- TypeManager.CSharpName (expr_type) + "'");
+ TypeManager.MonoBASIC_Name (expr_type) + "'");
return null;
}
Error (
23, "Operator " + OperName (mode) +
" cannot be applied to operand of type '" +
- TypeManager.CSharpName (t) + "'");
+ TypeManager.MonoBASIC_Name (t) + "'");
}
/// <summary>
}
Error (187, "No such operator '" + OperName (mode) + "' defined for type '" +
- TypeManager.CSharpName (expr_type) + "'");
+ TypeManager.MonoBASIC_Name (expr_type) + "'");
return null;
}
Warning (
183,
"The expression is always of type '" +
- TypeManager.CSharpName (probe_type) + "'");
+ TypeManager.MonoBASIC_Name (probe_type) + "'");
else if (warning_never_matches){
if (!(probe_type.IsInterface || expr.Type.IsInterface))
Warning (
184,
"The expression is never of type '" +
- TypeManager.CSharpName (probe_type) + "'");
+ TypeManager.MonoBASIC_Name (probe_type) + "'");
}
}
{
Report.Error (
39, loc, "as operator can not convert from '" +
- TypeManager.CSharpName (source) + "' to '" +
- TypeManager.CSharpName (target) + "'");
+ TypeManager.MonoBASIC_Name (source) + "' to '" +
+ TypeManager.MonoBASIC_Name (target) + "'");
}
public override Expression DoResolve (EmitContext ec)
if (TypeManager.IsValueType (probe_type)){
Report.Error (77, loc, "The as operator should be used with a reference type only (" +
- TypeManager.CSharpName (probe_type) + " is a value type");
+ TypeManager.MonoBASIC_Name (probe_type) + " is a value type)");
return null;
}
Report.Error (
34, loc, "Operator '" + OperName (oper)
+ "' is ambiguous on operands of type '"
- + TypeManager.CSharpName (l) + "' "
- + "and '" + TypeManager.CSharpName (r)
+ + TypeManager.MonoBASIC_Name (l) + "' "
+ + "and '" + TypeManager.MonoBASIC_Name (r)
+ "'");
}
{
Report.Error (19, loc,
"Operator " + name + " cannot be applied to operands of type '" +
- TypeManager.CSharpName (l) + "' and '" +
- TypeManager.CSharpName (r) + "'");
+ TypeManager.MonoBASIC_Name (l) + "' and '" +
+ TypeManager.MonoBASIC_Name (r) + "'");
}
void Error_OperatorCannotBeApplied ()
if (ConvertImplicit (ec, falseExpr, true_type, loc) != null){
Error (172,
"Can not compute type of conditional expression " +
- "as '" + TypeManager.CSharpName (trueExpr.Type) +
- "' and '" + TypeManager.CSharpName (falseExpr.Type) +
+ "as '" + TypeManager.MonoBASIC_Name (trueExpr.Type) +
+ "' and '" + TypeManager.MonoBASIC_Name (falseExpr.Type) +
"' convert implicitly to each other");
return null;
}
} else {
Error (173, "The type of the conditional expression can " +
"not be computed because there is no implicit conversion" +
- " from '" + TypeManager.CSharpName (trueExpr.Type) + "'" +
- " and '" + TypeManager.CSharpName (falseExpr.Type) + "'");
+ " from '" + TypeManager.MonoBASIC_Name (trueExpr.Type) + "'" +
+ " and '" + TypeManager.MonoBASIC_Name (falseExpr.Type) + "'");
return null;
}
}
string ret_type = "";
if (mb is MethodInfo)
- ret_type = TypeManager.CSharpName (((MethodInfo) mb).ReturnType) + " ";
+ ret_type = TypeManager.MonoBASIC_Name (((MethodInfo) mb).ReturnType) + " ";
StringBuilder sb = new StringBuilder (ret_type + mb.Name);
ParameterData pd = GetParameterData (mb);
~(Parameter.Modifier.OUT | Parameter.Modifier.REF);
if (a_mod == p_mod || (a_mod == Parameter.Modifier.NONE && p_mod == Parameter.Modifier.PARAMS)) {
- if (a_mod == Parameter.Modifier.NONE)
- if (!ImplicitConversionExists (ec, a.Expr, ptype))
+ if (a_mod == Parameter.Modifier.NONE)
+ if (! (ImplicitConversionExists (ec, a.Expr, ptype) || RuntimeConversionExists (ec, a.Expr, ptype)) )
return false;
if ((a_mod & Parameter.Modifier.ISBYREF) != 0) {
return false;
}
} else
- return false;
-
+ return false;
return true;
}
for (int j = 0; j < argument_count; j++) {
Argument a = (Argument) Arguments [j];
Expression a_expr = a.Expr;
- Type parameter_type = pd.ParameterType (j);
-
+ Type parameter_type = pd.ParameterType(j);
+
+ if (parameter_type == null)
+ {
+ Error_WrongNumArguments(loc, (InvokingProperty == null)?((delegate_type == null)?FullMethodDesc (method):delegate_type.ToString ()):InvokingProperty, argument_count);
+ return false;
+ }
if (pd.ParameterModifier (j) == Parameter.Modifier.PARAMS &&
- chose_params_expanded)
+ chose_params_expanded)
parameter_type = TypeManager.TypeToCoreType (parameter_type.GetElementType ());
if (a.Type != parameter_type){
// trigger the invocation
//
Expression expr_to_return = null;
-
+
if (expr is BaseAccess)
is_base = true;
if (method == null)
{
- Error (-6,
- "Could not find any applicable function for this argument list");
+ Error (30455,
+ "Could not find any applicable function to invoke for this argument list");
return null;
}
expr_to_return = pe.DoResolve (ec);
expr_to_return.eclass = ExprClass.PropertyAccess;
}
+ else
+ {
+ throw new Exception("Error resolving Property Access expression\n" + pe.ToString());
+ }
}
if (expr is FieldExpr || expr is LocalVariableReference || expr is ParameterReference) {
-
if (expr.Type.IsArray) {
// If we are here, expr must be an ArrayAccess
ArrayList idxs = new ArrayList();
// We can't resolve now, but we
// have to try to access the array with a call
// to LateIndexGet/Set in the runtime
- Expression late_bound_call_expr;
+ Expression lig_call_expr;
if (!is_left_hand)
- late_bound_call_expr = Parser.DecomposeQI
- ("Microsoft.VisualBasic." +
- "CompilerServices.LateBinding." +
- "LateIndexGet", Location.Null);
+ lig_call_expr = Mono.MonoBASIC.Parser.DecomposeQI("Microsoft.VisualBasic.CompilerServices.LateBinding.LateIndexGet", Location.Null);
else
- late_bound_call_expr = Parser.DecomposeQI
- ("Microsoft.VisualBasic." +
- "CompilerServices.LateBinding." +
- "LateIndexSet", Location.Null);
-
+ lig_call_expr = Mono.MonoBASIC.Parser.DecomposeQI("Microsoft.VisualBasic.CompilerServices.LateBinding.LateIndexSet", Location.Null);
Expression obj_type = Mono.MonoBASIC.Parser.DecomposeQI("System.Object", Location.Null);
ArrayList adims = new ArrayList();
ArrayList ainit = new ArrayList();
foreach (Argument a in Arguments)
ainit.Add ((Expression) a.Expr);
-
- if (!is_left_hand)
- adims.Add ((Expression) new IntLiteral (Arguments.Count));
- else
- {
- // We allocate one extra argument for the value
- // our late-bound target will be set to
- adims.Add ((Expression) new IntLiteral (Arguments.Count + 1));
- // This is only a placeholder to avoid an error
- // to be flagged by the ArrayCreation process
- ainit.Add ((Expression) NullLiteral.Null);
- }
+
+ adims.Add ((Expression) new IntLiteral (Arguments.Count));
Expression oace = new ArrayCreation (obj_type, adims, "", ainit, Location.Null);
- // Arguments passed to LateIndexGet
ArrayList args = new ArrayList();
-
- // An array of basetype Object
- // containing the indices of the element being accessed
- // or the arguments passed to the late-bound member
args.Add (new Argument(expr, Argument.AType.Expression));
-
- // Our Expression
args.Add (new Argument(oace, Argument.AType.Expression));
-
- // null
args.Add (new Argument(NullLiteral.Null, Argument.AType.Expression));
- Expression late_bound_call = new Invocation (late_bound_call_expr, args, Location.Null);
- // If we're on the left hand side of an assignment
- // we must return the unresolved expression
- // in order to be able to modify the argument list
- //if (!is_left_hand) {
- expr_to_return = late_bound_call.Resolve(ec);
- expr_to_return.eclass = ExprClass.Variable;
- /*}
- else
- {
- expr_to_return = late_bound_call;
- expr_to_return.eclass = ExprClass.Variable;
- }*/
+ Expression lig_call = new Invocation (lig_call_expr, args, Location.Null);
+ expr_to_return = lig_call.Resolve(ec);
+ expr_to_return.eclass = ExprClass.Variable;
}
}
return expr_to_return;
}
+ static void Error_WrongNumArguments (Location loc, String name, int arg_count)
+ {
+ Report.Error (1501, loc, "No overload for method `" + name + "' takes `" +
+ arg_count + "' arguments");
+ }
+
// <summary>
// Emits the list of arguments as an array
// </summary>
if (type.IsInterface || type.IsAbstract){
Error (
- 144, "It is not possible to create instances of interfaces " +
- "or abstract classes");
+ 30376, "It is not possible to create instances of Interfaces " +
+ "or classes marked as MustInherit");
return null;
}
/// </remarks>
public class ArrayCreation : ExpressionStatement {
Expression requested_base_type;
- public ArrayList initializers;
+ ArrayList initializers;
//
// The list of Argument types.
void Error_IncorrectArrayInitializer ()
{
- Error (178, "Incorrectly structured array initializer");
+ Error (30567, "Incorrectly structured array initializer");
}
public bool CheckIndices (EmitContext ec, ArrayList probe, int idx, bool specified_dims)
return null;
if (!TypeManager.IsUnmanagedType (type_queried)){
- Report.Error (208, "Cannot take the size of an unmanaged type (" + TypeManager.CSharpName (type_queried) + ")");
+ Report.Error (208, "Cannot take the size of an unmanaged type (" + TypeManager.MonoBASIC_Name (type_queried) + ")");
return null;
}
public MemberAccess (Expression expr, string id, Location l)
{
this.expr = expr;
- Identifier = (id == "New" ? ".ctor" : id);
+ Identifier = id;
loc = l;
}
Enum en = TypeManager.LookupEnum (decl_type);
Constant c;
- if (en != null)
+ if (en != null) {
c = Constantify (o, en.UnderlyingType);
- else
+ return new EnumConstant (c, en.UnderlyingType);
+ }
+ else {
c = Constantify (o, enum_member.Type);
+ return new EnumConstant (c, enum_member.Type);
+ }
+
- return new EnumConstant (c, decl_type);
}
Expression exp = Constantify (o, t);
if (IdenticalNameAndTypeName (ec, left_original, loc))
return member_lookup;
- if (left_is_explicit) {
+ /*if (left_is_explicit) {
error176 (loc, me.Name);
return null;
- }
+ }*/
}
//
return new_expr.Resolve (ec, flags);
}
- //
- // TODO: I mailed Ravi about this, and apparently we can get rid
- // of this and put it in the right place.
- //
- // Handle enums here when they are in transit.
- // Note that we cannot afford to hit MemberLookup in this case because
- // it will fail to find any members at all
- //
-
int errors = Report.Errors;
Type expr_type = expr.Type;
- if ((expr is TypeExpr) && (expr_type.IsSubclassOf (TypeManager.enum_type))){
-
- Enum en = TypeManager.LookupEnum (expr_type);
-
- if (en != null) {
- object value = en.LookupEnumValue (ec, Identifier, loc);
-
- if (value != null){
- Constant c = Constantify (value, en.UnderlyingType);
- return new EnumConstant (c, expr_type);
- }
- }
- }
if (expr_type.IsPointer){
Error (23, "The '.' operator can not be applied to pointer operands (" +
- TypeManager.CSharpName (expr_type) + ")");
+ TypeManager.MonoBASIC_Name (expr_type) + ")");
return null;
}
// Error has already been reported.
if (errors < Report.Errors)
return null;
-
+
//
// Try looking the member up from the same type, if we find
// it, we know that the error was due to limited visibility
BindingFlags.NonPublic, Identifier);
if (lookup == null)
- Error (117, "'" + expr_type + "' does not contain a definition for '" + Identifier + "'");
+ Error (30456, "'" + expr_type + "' does not contain a definition for '" + Identifier + "'");
else
{
if ((expr_type != ec.ContainerType) &&
if (lookup != null)
Error (1540, "Cannot access protected member '" +
expr_type + "." + Identifier + "' " +
- "via a qualifier of type '" + TypeManager.CSharpName (expr_type) + "'; the " +
- "qualifier must be of type '" + TypeManager.CSharpName (ec.ContainerType) + "' " +
+ "via a qualifier of type '" + TypeManager.MonoBASIC_Name (expr_type) + "'; the " +
+ "qualifier must be of type '" + TypeManager.MonoBASIC_Name (ec.ContainerType) + "' " +
"(or derived from it)");
else
- Error (122, "'" + expr_type + "." + Identifier + "' " +
+ Error (30390, "'" + expr_type + "." + Identifier + "' " +
"is inaccessible because of its protection level");
} else
- Error (122, "'" + expr_type + "." + Identifier + "' " +
+ Error (30390, "'" + expr_type + "." + Identifier + "' " +
"is inaccessible because of its protection level");
}
return null;
}
+ if ((expr is TypeExpr) && (expr_type.IsSubclassOf (TypeManager.enum_type))) {
+ Enum en = TypeManager.LookupEnum (expr_type);
+
+ if (en != null) {
+ object value = en.LookupEnumValue (ec, Identifier, loc);
+ expr_type = TypeManager.int32_type;
+ if (value != null) {
+ Constant c = Constantify (value, en.UnderlyingType);
+ return new EnumConstant (c, en.UnderlyingType);
+ }
+ }
+ }
+
if (member_lookup is TypeExpr){
member_lookup.Resolve (ec, ResolveFlags.Type);
+
return member_lookup;
} else if ((flags & ResolveFlags.MaskExprClass) == ResolveFlags.Type)
return null;
// The following DoResolve/DoResolveLValue will do the definite assignment
// check.
-
if (right_side != null)
member_lookup = member_lookup.DoResolveLValue (ec, right_side);
else
}
Report.Error (21, loc,
- "Type '" + TypeManager.CSharpName (lookup_type) +
+ "Type '" + TypeManager.MonoBASIC_Name (lookup_type) +
"' does not have any indexers defined");
return null;
}
}
if (set == null){
- Error (200, "indexer X.this [" + TypeManager.CSharpName (right_type) +
+ Error (200, "indexer X.this [" + TypeManager.MonoBASIC_Name (right_type) +
"] lacks a 'set' accessor");
return null;
}
Error (1511, "Keyword MyBase is not allowed in static method");
return null;
}
-
+
if (member == "New")
member = ".ctor";
AllMemberTypes, AllBindingFlags, loc);
if (member_lookup == null) {
- Error (117,
- TypeManager.CSharpName (base_type) + " does not " +
+ Error (30456,
+ TypeManager.MonoBASIC_Name (base_type) + " does not " +
"contain a definition for '" + member + "'");
return null;
}