Commit 0ddbe89b authored by Markus Klinik's avatar Markus Klinik
Browse files

some documentation

parent 1aa49373
......@@ -167,15 +167,19 @@ set[Message] implementsInterfaceGeneric(M3 model, loc (M3) findFunction, loc (M3
return {};
}
// Given a class location c, return all types that c depends on
set[loc] allTypeDependenciesLoc(M3 model, loc dependerClass) =
({} | it + model.typeDependency[thing] | thing <- (model.containment+)[dependerClass]);
// Given a class name c, return all types that c depends on
set[loc] allTypeDependencies(M3 model, str depender)
{
loc dependerClass = findClass(model, depender);
return allTypeDependenciesLoc(model, dependerClass);
}
// Assert that class depender must depend on dependency
set[Message] classDependsOn(M3 model, str depender, loc dependency)
{
try
......@@ -194,6 +198,7 @@ set[Message] classDependsOn(M3 model, str depender, loc dependency)
return {};
}
// Assert that method of class depends on dependency
set[Message] methodDependsOn(M3 model, str dependerClassName, str dependerMethodName, loc dependency)
{
try
......
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