NameResolution.jrag

aspect NameResolution {

  refine RefResolverStubs eq UpdateDefinition.resolveMappingByToken(String id) {
    // return a MappingDefinition
    for (MappingDefinition mappingDefinition : ros2rag().getMappingDefinitionList()) {
      if (mappingDefinition.getID().equals(id)) {
        return mappingDefinition;
      }
    }
    System.err.println("Could not resolve MappingDefinition '" + id + "'.");
    return null;
  }

}