Commit ac272aee authored by Markus Klinik's avatar Markus Klinik
Browse files

Assignment02Rules: use PrintStream instead of System

parent 5054f9ed
......@@ -16,7 +16,7 @@ set[Message] allAssignment02Rules(M3 model)
;
// There should be one class that is not the main class and not the Gallows
// class, and this class is the only one that uses System
// class, and this class is the only one that uses System.io, which is a PrintStream
set[Message] a02_all_io_in_view(M3 model)
{
set[Message] result = {};
......@@ -29,7 +29,7 @@ set[Message] a02_all_io_in_view(M3 model)
// find all methods that use System
set[loc] ioMethods =
{ m
| m <- invert(model.typeDependency)[|java+class:///java/lang/System|]
| m <- invert(model.typeDependency)[|java+class:///java/io/PrintStream|]
, isMethod(m)
};
// find the classes to which these methods belong
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment