Skip to content

M
mjtest-tests
Switch branch/tag
History Find file
Name
Last commit
 Last update
..
AttributeKill.valid.java Loading commit data...
AttributeOrSystem.valid.java Loading commit data...
CompareClassAttributes.valid.java Loading commit data...
Eratosthenes.java Loading commit data...
FloatArithmetic.java Loading commit data...
LocalInitClass.valid.java Loading commit data...
LocalVariableOverwriteAttribute.valid.java Loading commit data...
NoConstructedObjectCall.invalid.mj Loading commit data...
NoParameterDeclaration.invalid.mj Loading commit data...
OverwriteAttributeWithUndeclaredVariable.invalid.mj Loading commit data...
RightVariable.valid.java Loading commit data...
VoidAttribute.invalid.mj Loading commit data...
WrongReturnTypeVoid.invalid.mj Loading commit data...
adding_booleans.invalid.mj Loading commit data...
array_access.java Loading commit data...
array_access_not_a_statement.invalid.mj Loading commit data...
array_access_on_non_array.invalid.mj Loading commit data...
array_access_on_returned_value.java Loading commit data...
array_creation_boolean.invalid.mj Loading commit data...
array_creation_ident.invalid.mj Loading commit data...
array_creation_null.invalid.mj Loading commit data...
array_length.invalid.java Loading commit data...
array_out_of_bounds.java Loading commit data...
array_summation.java Loading commit data...
array_summation.mj Loading commit data...
assign_null_array.mj Loading commit data...
assign_system.invalid.mj Loading commit data...
assign_system_out.invalid.mj Loading commit data...
assign_to_parameter.java Loading commit data...
binary_operations_on_int.invalid.mj Loading commit data...
bool_int.invalid.mj Loading commit data...
boolean_constant_not_a_statement.invalid.mj Loading commit data...
call_method_on_assignment.java Loading commit data...
call_method_on_undefined_type.invalid.mj Loading commit data...
checkMinimumInteger.valid.java Loading commit data...
checkMinimumIntegerInBrackets.invalid.mj Loading commit data...
class_addition.invalid.mj Loading commit data...
class_compare.invalid.mj Loading commit data...
compare_null_to_variable.java Loading commit data...
compare_system.invalid.java Loading commit data...
compare_system_in.invalid.java Loading commit data...
compare_system_null.invalid.java Loading commit data...
compare_system_out.invalid.java Loading commit data...
compare_variable_to_null.java Loading commit data...
cross_references.java Loading commit data...
dangling_else.java Loading commit data...
duplicate_class.invalid.mj Loading commit data...
duplicate_field.invalid.mj Loading commit data...
empty_blocks.java Loading commit data...
empty_file.invalid.mj Loading commit data...
empty_statement.mj Loading commit data...
empty_while.java Loading commit data...
equality_different_array_dimensions.invalid.mj Loading commit data...
equality_different_classes.invalid.mj Loading commit data...
expression_statement.invalid.java Loading commit data...
field_acces_type_error.invalid.mj Loading commit data...
field_access_from_static_context.invalid.mj Loading commit data...
field_access_not_a_statement.invalid.mj Loading commit data...
field_access_on_class_identifier.invalid.mj Loading commit data...
field_access_on_returned_value.mj Loading commit data...
field_access_type_error.invalid.mj Loading commit data...
field_access_without_this.java Loading commit data...
field_shadowing.java Loading commit data...
if_chain.java Loading commit data...
if_else_type_mismatch.invalid.java Loading commit data...
illegal_access_of_nonstatic_method.invalid.mj Loading commit data...
illegal_call_of_main.invalid.mj Loading commit data...
illegal_call_of_main_with_parameter.invalid.java Loading commit data...
illegal_this_in_static_method.invalid.mj Loading commit data...
int_bool.invalid.mj Loading commit data...
integer_constant_not_a_statement.invalid.mj Loading commit data...
integer_too_large.invalid.mj Loading commit data...
invalid_arithmetic_comparison.invalid.mj Loading commit data...
invalid_assign_to_main_parameter.invalid.java Loading commit data...
invalid_compare_null_int.invalid.mj Loading commit data...
invalid_dead_code.invalid.java Loading commit data...
invalid_int_as_if_condition.invalid.mj Loading commit data...
invalid_int_as_while_condition.invalid.mj Loading commit data...
invalid_null_boolean.invalid.mj Loading commit data...
invalid_null_integer.invalid.mj Loading commit data...
invalid_null_integer_parameter.invalid.mj Loading commit data...
invalid_null_integer_return.invalid.mj Loading commit data...
invalid_object_as_if_condition.invalid.mj Loading commit data...
invalid_object_as_while_condition.invalid.mj Loading commit data...
invalid_this_assignment.invalid.mj Loading commit data...
legitimate_call_to_main.java Loading commit data...
logical_negation_of_int.invalid.mj Loading commit data...
lvalue_operation_binary.invalid.mj Loading commit data...
lvalue_operation_unary.invalid.mj Loading commit data...
main_access_args.invalid.mj Loading commit data...
main_method_not_named_main.invalid.mj Loading commit data...
main_multiple_in_different_classes.invalid.mj Loading commit data...
main_multiple_in_same_class_one_static_one_not.invalid.mj Loading commit data...
main_parameter_different_name.java Loading commit data...
main_with_local_string_class.java Loading commit data...
mathematical_negation_of_boolean.invalid.mj Loading commit data...
method_multi_param_same_name.invalid.mj Loading commit data...
minimal_valid_program.java Loading commit data...
mismatching_return_type.invalid.mj Loading commit data...
mismatching_type_comparison.invalid.mj Loading commit data...
missing_main.invalid.java Loading commit data...
missing_return_statement.invalid.mj Loading commit data...
missing_return_value.invalid.mj Loading commit data...
missing_static_method.invalid.java Loading commit data...
multidimensional_array_access.java Loading commit data...
multidimensional_array_creation.java Loading commit data...
multiple_declarations.invalid.mj Loading commit data...
multiple_static_methods.invalid.java Loading commit data...
namespaces.java Loading commit data...
new_array_access.mj Loading commit data...
not_a_statement_in_else.invalid.mj Loading commit data...
not_a_statement_in_if.invalid.mj Loading commit data...
not_a_statement_in_while.invalid.mj Loading commit data...
not_a_statement_just_a_constructor.invalid.mj Loading commit data...
not_a_statement_just_an_array.invalid.mj Loading commit data...
not_a_statement_nested_function_call.invalid.mj Loading commit data...
null_constant_not_a_statement.invalid.mj Loading commit data...
null_everywhere.java Loading commit data...
otherclass.mj Loading commit data...
primitive_type_error.invalid.java Loading commit data...
primitive_type_error.invalid.mj Loading commit data...
recursion.mj Loading commit data...
redeclaration_main_parameter.invalid.mj Loading commit data...
redeclaration_parameter.invalid.mj Loading commit data...
redeclaration_same_scope.invalid.mj Loading commit data...
redeclaration_shadowing.invalid.mj Loading commit data...
renamed_main_method.invalid.java Loading commit data...
return_valid_classType.java Loading commit data...
same_method_name_different_classes.mj Loading commit data...
same_methode_and_field_name.mj Loading commit data...
separate_namespaces.java Loading commit data...
shadow.java Loading commit data...
shadowing_apocalypse.java Loading commit data...
shadowing_field.mj Loading commit data...
shadowing_field2.invalid.mj Loading commit data...
simple_nested_if_else.java Loading commit data...
special_param_redefinition.invalid.mj Loading commit data...
special_param_usage.invalid.mj Loading commit data...
standard_library_calls.mj Loading commit data...
static_method_call.invalid.mj Loading commit data...
static_method_throws.java Loading commit data...
string_usage.invalid.mj Loading commit data...
system_shadowing.invalid.mj Loading commit data...
system_shadowing.java Loading commit data...
system_shadowing_with_field.java Loading commit data...
system_shadowing_with_localVar.java Loading commit data...
system_shadowing_wrong_parameter_type.invalid.mj Loading commit data...
throws_ident.mj Loading commit data...
too_many_arguments.invalid.mj Loading commit data...
too_much_array_access.invalid.mj Loading commit data...
undefined_class.invalid.mj Loading commit data...
undefined_field.invalid.mj Loading commit data...
undefined_method.invalid.mj Loading commit data...
undefined_method_on_class.invalid.mj Loading commit data...
unexpected_return_value.invalid.mj Loading commit data...
unknown_variable.invalid.mj Loading commit data...
unreachable_code.mj Loading commit data...
use_before_declare_field_type.java Loading commit data...
use_before_declare_field_value.java Loading commit data...
use_before_declare_method.java Loading commit data...
variable_access_not_a_statement.invalid.mj Loading commit data...
variable_can_be_uninitialized.mj Loading commit data...
void_array.invalid.mj Loading commit data...
void_array_field.invalid.mj Loading commit data...
void_array_parameter.invalid.mj Loading commit data...
void_array_return_type.invalid.mj Loading commit data...
void_cannot_be_array_type.invalid.mj Loading commit data...
void_field.invalid.mj Loading commit data...
void_param.invalid.mj Loading commit data...
void_variable.invalid.mj Loading commit data...
wrong_argument_type.invalid.mj Loading commit data...
wrong_ident_type_assignment.invalid.mj Loading commit data...
wrong_ident_type_comparison.invalid.mj Loading commit data...
wrong_ident_type_function_call.invalid.mj Loading commit data...
wrong_ident_type_method_call.invalid.mj Loading commit data...
wrong_ident_type_new_array.invalid.mj Loading commit data...
wrong_ident_type_new_object.invalid.mj Loading commit data...
wrong_ident_type_parameter.invalid.mj Loading commit data...
wrong_ident_type_parameter_function_call.invalid.mj Loading commit data...
wrong_ident_type_return.invalid.mj Loading commit data...