public static boolean containsModelCheckingModuleConflict(String rootModuleName){
  String rootModuleFileName=rootModuleName;
  if (!rootModuleName.endsWith(ResourceHelper.TLA_EXTENSION)) {
    rootModuleFileName=ResourceHelper.getModuleFileName(rootModuleName);
  }
  List<String> extendedModuleNames=ToolboxHandle.getExtendedModules(rootModuleFileName);
  Iterator<String> it=extendedModuleNames.iterator();
  while (it.hasNext()) {
    String moduleName=it.next();
    if (moduleName.equals(FILE_TLA)) {
      return true;
    }
  }
  return false;
}

public static boolean containsModelCheckingModuleConflict ( String rootModuleName ) { String rootModuleFileName = rootModuleName ; if ( ! rootModuleName . endsWith ( ResourceHelper . TLA_EXTENSION ) ) { rootModuleFileName = ResourceHelper . getModuleFileName ( rootModuleName ) ; } List < String > extendedModuleNames = ToolboxHandle . getExtendedModules ( rootModuleFileName ) ; Iterator < String > it = extendedModuleNames . iterator ( ) ; while ( it . hasNext ( ) ) { String moduleName = it . next ( ) ; if ( moduleName . equals ( FILE_TLA ) ) { return true ; } } return false ; }
determines if the spec with root module rootmodulename is dependent on a module with the same name as the root module used for model checking .
