Name Errors/Static

Synopsis All static errors that can occur before executing of a Rascal program.

Details AmbiguousFunctionReference ArgumentMismatch Arity DateTimeSyntax IllegalQualifiedDeclaration InvalidDateTimeComparison JavaCompilation JavaMethodLink MissingModifier MissingReturn ModuleImport ModuleNameMismatch NoKeywordParameters NonAbstractJavaFunction NonVoidTypeRequired NonWellformedType NotEnumerable PartiallyLabeledFields RedeclaredField RedeclaredType RedeclaredVariable SyntaxError UndeclaredAnnotation UndeclaredField UndeclaredFunction UndeclaredJavaMethod UndeclaredKeywordParameter UndeclaredModule UndeclaredModuleProvider UndeclaredNonTerminal UndeclaredType UndeclaredVariable UnexpectedKeywordArgumentType UnexpectedType UnguardedAppend UnguardedFail UnguardedInsert UnguardedIt UnguardedReturn UninitializedPatternMatch UnitializedVariable UnsupportedOperation UnsupportedPattern UnsupportedSubscript UnsupportedSubscriptArity

Description The following static errors can occur in a Rascal program. They cannot be caught by the Rascal program:

• AmbiguousFunctionReference: An ambiguous function name
• ArgumentMismatch: The called signature does not match any defined function.
• Arity: The number of arguments of an operator differ from what is required.
• DateTimeSyntax: A datetime value is syntactically incorrect.
• IllegalQualifiedDeclaration: Qualified names cannot be declared.
• InvalidDateTimeComparison: Attempt to compare a date with a time.
• JavaCompilation: Compilation of generated Java code failed.
• JavaMethodLink: Cannot link to a Java method.
• MissingModifier: A modifier is missing in a declaration.
• MissingReturn: A return statement is missing from a function body.
• ModuleImport: A Rascal module could not be imported.
• ModuleNameMismatch: Module name and file name are different.
• NoKeywordParameters: A function that is declared without keyword parameters is called with keyword parameters.
• NonAbstractJavaFunction: A function declared with the java modifier has a Rascal body.
• NonVoidTypeRequired: A type other than void is needed.
• NonWellformedType: A type in a declaration is not wellformed.
• NotEnumerable: A value that cannot be enumerated is used in an enumerator.
• PartiallyLabeledFields: In a tuple or relation all fields should have names or none at all.
• RedeclaredField: A field name is redeclared.
• RedeclaredType: A type with the same name has been declared before.
• RedeclaredVariable: A variable with the same name has been declared in the same scope.
• SyntaxError: Text in a module or entered via the command line violates the Rascal syntax.
• UndeclaredAnnotation: An annotation is used that has not been declared.
• UndeclaredField: A field name is used that has not been declared.
• UndeclaredFunction: A function is called that has not been declared.
• UndeclaredJavaMethod: Attempt to call a non-existing Java method.
• UndeclaredKeywordParameter: A function is called with a keyword parameter that was not declared in the function's declaration.
• UndeclaredModule: Reference to a non-existing module.
• UndeclaredModuleProvider: A scheme is used in a location for wich no provider has been registered.
• UndeclaredNonTerminal: A syntax rule uses an undeclared non-terminal.
• UndeclaredType: Use of a type that has not been declared.
• UndeclaredVariable: Use of a variable that has not been declared.
• UnexpectedKeywordArgumentType: The actual value of a keyword argument is not compatible with its declared type.
• UnexpectedType: A value of a different type was expected.
• UnguardedAppend: Append statement occurs outside a for/while statement.
• UnguardedFail: Use of fail statement outside a condtional context.
• UnguardedInsert: An insert occurs outside a visit expression.
• UnguardedIt: The special variable it occurs outside a reducer expression.
• UnguardedReturn: A return statement occurs outside a function body.
• UninitializedPatternMatch: Pattern matching has not been properly initialized.
• UnitializedVariable: Use of a variable that has not been initialized.
• UnsupportedOperation: Attempt to apply a operation to a value for which the operation is not defined.
• UnsupportedPattern: A pattern is used that is not supported.
• UnsupportedSubscript: A subscript is applied to a value that does not support it.
• UnsupportedSubscriptArity: Wrong number of subscripts is used.

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]