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;