navigation_case


INSTANCE navigation_case#1;
	description = "A case for navigating a conjunction";
	problem = conjunction#2;
	solution = submit#1;
	language = express;
	filename = "CASES/EXPRESS/NAVIGATION/conjunction.filc";
END_INSTANCE;

INSTANCE navigation_case#2;
	description = "A case for navigating a defined type";
	problem = defined_type#35;
	solution = submit#2;
	language = express;
	filename = "CASES/EXPRESS/NAVIGATION/defined_type.filc";
END_INSTANCE;

INSTANCE navigation_case#3;
	description = "A case for navigating a domain rule";
	problem = domain_rule#2;
	solution = submit#3;
	language = express;
	filename = "CASES/EXPRESS/NAVIGATION/domain_rule.filc";
END_INSTANCE;

INSTANCE navigation_case#4;
	description = "A case for navigating an entity";
	problem = entity_type#184;
	solution = submit#4;
	language = express;
	filename = "CASES/EXPRESS/NAVIGATION/entity.filc";
END_INSTANCE;

INSTANCE navigation_case#5;
	description = "A case for navigating an equation";
	problem = equation#7;
	solution = submit#5;
	language = express;
	filename = "CASES/EXPRESS/NAVIGATION/equation.filc";
END_INSTANCE;

INSTANCE navigation_case#6;
	description = "A case for navigating a user-defined function";
	problem = user_defined_function#1;
	solution = submit#6;
	language = express;
	filename = "CASES/EXPRESS/NAVIGATION/function.filc";
END_INSTANCE;

INSTANCE navigation_case#7;
	description = "A case for navigating an EXPRESS model";
	problem = model_frame#2;
	solution = submit#7;
	language = express;
	filename = "CASES/EXPRESS/NAVIGATION/model.filc";
END_INSTANCE;

INSTANCE navigation_case#8;
	description = "A case for navigating a negation";
	problem = negation#2;
	solution = submit#8;
	language = express;
	filename = "CASES/EXPRESS/NAVIGATION/negation.filc";
END_INSTANCE;

INSTANCE navigation_case#9;
	description = "A case for navigating a query expression";
	problem = query_expression#3;
	solution = submit#9;
	language = express;
	filename = "CASES/EXPRESS/NAVIGATION/query.filc";
END_INSTANCE;

INSTANCE navigation_case#10;
	description = "A case for navigating a return statement";
	problem = return_statement#1;
	solution = submit#10;
	language = express;
	filename = "CASES/EXPRESS/NAVIGATION/return.filc";
END_INSTANCE;

INSTANCE navigation_case#11;
	description = "A case for navigating a schema";
	problem = schema_frame#2;
	solution = submit#11;
	language = express;
	filename = "CASES/EXPRESS/NAVIGATION/schema.filc";
END_INSTANCE;

INSTANCE navigation_case#12;
	description = "A case for navigating a block";
	problem = block#2;
	solution = submit#12;
	language = java;
	filename = "CASES/JAVA/NAVIGATION/block.filc";
END_INSTANCE;

INSTANCE navigation_case#13;
	description = "A case for navigating a class";
	problem = class#1;
	solution = submit#13;
	language = java;
	filename = "CASES/JAVA/NAVIGATION/class.filc";
END_INSTANCE;

INSTANCE navigation_case#14;
	description = "A case for navigating a Java compilation unit";
	problem = compilation_unit#1;
	solution = submit#14;
	language = java;
	filename = "CASES/JAVA/NAVIGATION/compilation_unit.filc";
END_INSTANCE;

INSTANCE navigation_case#15;
	description = "A case for navigating a for loop";
	problem = for_statement#1;
	solution = submit#15;
	language = java;
	filename = "CASES/JAVA/NAVIGATION/for.filc";
END_INSTANCE;

INSTANCE navigation_case#16;
	description = "A case for navigating a method";
	problem = method#1;
	solution = submit#16;
	language = java;
	filename = "CASES/JAVA/NAVIGATION/method.filc";
END_INSTANCE;