public static Location locationFor(String name)(Code)
Gets a location object with the given name. The following
property must hold:
locationFor(x) == locationFor(y) if and only if
x.equals(y) .
The returned location will be an output location if and only if
name ends with
"_OUTPUT" .
Parameters: name - a name a location