ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnMgr

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnMgr

public class CoopnMgr
extends java.lang.Object

Coopn source Manager. This class essentially defines the services provided by the Coopn source manager.


Field Summary
static java.lang.String VERSION
          Coopn source Manager version;
 
Constructor Summary
CoopnMgr(PackageMgr packageMgr, CoopnEnv env)
          Constructor.
 
Method Summary
 void createModule(int kind, int status, java.lang.String moduleName, CoopnModuleNameList formalParams, CoopnModuleName as, java.lang.String comment)
          Creates a coopn module.
 java.lang.String displayAtom(CoopnAtom elem, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          Atom to String conversion.
 java.lang.String displayComment(java.lang.String elem)
          Comment to String conversion.
 java.lang.String displayCondition(CoopnCondition elem, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          Condition to String conversion.
 java.lang.String displayEvent(CoopnEvent elem, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          ClassEvent to String conversion.
 java.lang.String displayMark(CoopnMark elem, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          Mark to String conversion.
 java.lang.String displayMarkAgg(CoopnMarkAgg elem, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          MarkAgg to String conversion.
 java.lang.String displayMigrationType(CoopnMigrationType elem, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          MigrationType to String conversion.
 java.lang.String displayMigrationTypeAgg(CoopnMigrationTypeAgg elem, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          MigrationTypeAgg to String conversion.
 java.lang.String displayModuleName(CoopnModuleName elem)
          ModuleName to String conversion.
 java.lang.String displayName(CoopnName elem)
          Name to String conversion.
 java.lang.String displaySync(CoopnSync elem, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          Sync to String conversion.
 java.lang.String displayTerm(CoopnTerm elem, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          Term to String conversion.
 java.lang.String displayTermAgg(CoopnTermAgg elem, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          TermAgg to String conversion.
 java.lang.String displayType(CoopnType elem, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          Type to String conversion.
 java.lang.String displayTypeAgg(CoopnTypeAgg elem, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          TypeAgg to String conversion.
 void dispose()
          Leave a coopn manager.
 CoopnModule editModule(java.lang.String moduleName)
          Load a coopn module for edition.
 ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModule[] editModules(java.lang.String moduleName)
          Load textual coopn modules for edition.
 CoopnAtom evalAtom(java.lang.String string, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          String to Atom conversion.
 java.lang.String evalComment(java.lang.String string)
          String to comment conversion.
 CoopnCondition evalCondition(java.lang.String string, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          String to Condition conversion.
 CoopnEvent evalEvent(java.lang.String string, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          String to Event conversion.
 CoopnMark evalMark(java.lang.String string, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          String to Mark conversion.
 CoopnMarkAgg evalMarkAgg(java.lang.String string, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          String to MarkAgg conversion.
 CoopnMigrationType evalMigrationType(java.lang.String string, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          String to MigrationType conversion.
 CoopnMigrationTypeAgg evalMigrationTypeAgg(java.lang.String string, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          String to MigrationTypeAgg conversion.
 CoopnModuleName evalModuleName(java.lang.String string)
          String to ModuleName conversion.
 CoopnName evalName(java.lang.String string)
          String to Name conversion.
 CoopnSync evalSync(java.lang.String string, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          String to Sync conversion.
 CoopnTerm evalTerm(java.lang.String string, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          String to Term conversion.
 CoopnTermAgg evalTermAgg(java.lang.String string, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          String to TermAgg conversion.
 CoopnType evalType(java.lang.String string, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          String to Type conversion.
 CoopnTypeAgg evalTypeAgg(java.lang.String string, ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
          String to TypeAgg conversion.
 CoopnModule getAndObserveModule(java.lang.String name, CoopnModuleObserver observer)
          Get a moduland register a module observer.
 java.lang.String[] getDependencies(java.lang.String name)
          Get the dependencies of a module.
 CoopnModule getModule(java.lang.String name)
          Get a module.
 CoopnUser lockAutoReloadCoopnModule(java.lang.String moduleName, CoopnUser user)
          Lock a coopn file containg a particular module, and set the auto-reload mode.
 CoopnUser lockCoopnModule(java.lang.String moduleName, CoopnUser user)
          Lock a coopn file containg a particular module.
 PackageMgr packageMgr()
          Get the associated package manager.
 void reloadModule(java.lang.String moduleName)
          Reload a coopn module from the disk.
 void storeFile(java.io.File file, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModule module)
          Stores a file containing a particular coopn module in textual form.
 void storeFile(java.io.File file, ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModule[] modules)
          Stores a file to the disk, containing some coopn modules in textual form.
 void storeModule(CoopnModule module)
          Stores a coopn module to the disk
 void storeModule(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModule module)
          Stores a coopn module in textual form to the disk.
 void storeModules(CoopnModule[] modules)
          Stores some coopn modules to the disk
 void storeModules(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModule[] modules)
          Stores some coopn modules in textual form to the disk.
 ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextMgr textualMgr()
          Get the associated textual manager.
 void unlockCoopnModule(java.lang.String moduleName)
          Unlock a coopn file containg a particular module.
 void unregisterObserver(java.lang.String name, CoopnModuleObserver observer)
          unregister a package module observer.
 void use()
          Uses a coopn manager.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

VERSION

public static final java.lang.String VERSION
Coopn source Manager version;
Constructor Detail

CoopnMgr

public CoopnMgr(PackageMgr packageMgr,
                CoopnEnv env)
         throws java.lang.IllegalArgumentException
Constructor. Build and use a new coopn source manager.
Parameters:
packageMgr - the package manager
env - the environment of the coopn manager
Throws:
java.lang.IllegalArgumentException - the environment is absent or inconsistent.
Method Detail

use

public void use()
Uses a coopn manager.

dispose

public void dispose()
Leave a coopn manager. This method release the resources used by this coopn source manager, if it is not used any more.

packageMgr

public PackageMgr packageMgr()
Get the associated package manager.

textualMgr

public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextMgr textualMgr()
Get the associated textual manager. This method should NEVER BE USED BY NORMAL TOOLS, it is designed for coopn editors.

lockCoopnModule

public CoopnUser lockCoopnModule(java.lang.String moduleName,
                                 CoopnUser user)
Lock a coopn file containg a particular module. The coopn manager is locked for the user. Other users cannot put locks on particular modules, nor acquire a lock for the coopn manager. An user may acquire more than a lock, but it must unlock each of the locks for allowing another one to put locks.
Parameters:
moduleName - the coopn module to lock
user - the user who want to acquire the lock
Returns:
null if the user acquired the lock, or the user who already own the lock.

lockAutoReloadCoopnModule

public CoopnUser lockAutoReloadCoopnModule(java.lang.String moduleName,
                                           CoopnUser user)
Lock a coopn file containg a particular module, and set the auto-reload mode. In auto-reload mode, the manager tries to reload the module each times it detects it as modified, instead of signalling the fact to the user and taking the old version. Auto-reload mode is useful for working with external editors. The coopn manager is locked for the user. Other users cannot put locks on particular modules, nor acquire a lock for the coopn manager. An user may acquire more than a lock, but it must unlock each of the locks for allowing another one to put locks.
Parameters:
moduleName - the coopn module to lock
user - the user who want to acquire the lock
Returns:
null if the user acquired the lock, or the user who already own the lock.

unlockCoopnModule

public void unlockCoopnModule(java.lang.String moduleName)
Unlock a coopn file containg a particular module. The user unlocks the coopn manager.
Parameters:
moduleName - the coopn module to lock

getModule

public CoopnModule getModule(java.lang.String name)
                      throws java.lang.IllegalArgumentException
Get a module. Deliver an up-to-date version of the desired module.
Parameters:
name - the module name
Returns:
the CoopnModule corresponding to the name.
Throws:
java.lang.IllegalArgumentException - the module cannot be delivered (because it is not found, erroneous, and so on).

getAndObserveModule

public CoopnModule getAndObserveModule(java.lang.String name,
                                       CoopnModuleObserver observer)
                                throws java.lang.IllegalArgumentException
Get a moduland register a module observer.
Parameters:
name - the module name
observer - the module observer
Returns:
the CoopnModule corresponding to the name.
Throws:
java.lang.IllegalArgumentException - the module cannot be delivered (because it is not found, erroneous, and so on).

unregisterObserver

public void unregisterObserver(java.lang.String name,
                               CoopnModuleObserver observer)
unregister a package module observer.
Parameters:
name - the module name
observer - the module observer
Throws:
java.lang.IllegalArgumentException - A problem occured with the environment.

reloadModule

public void reloadModule(java.lang.String moduleName)
                  throws java.lang.IllegalAccessException
Reload a coopn module from the disk.
Parameters:
moduleName - the module name
Throws:
java.lang.IllegalArgumentException - the module is not found.
java.lang.IllegalAccessException - the module is not locked.

editModule

public CoopnModule editModule(java.lang.String moduleName)
                       throws java.lang.IllegalAccessException
Load a coopn module for edition. The parameter must be the name of a module. The module is loaded, syntactially AND static semantically checked, and delivered if it is correct.
Parameters:
moduleName - the module to edit
Returns:
a modificale copy of the CoopnModule corresponding to the name.
Throws:
java.lang.IllegalArgumentException - the module cannot be delivered (because it is not found, erroneous, and so on).
java.lang.IllegalAccessException - the module is not locked.

editModules

public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModule[] editModules(java.lang.String moduleName)
                                                                             throws java.lang.IllegalAccessException
Load textual coopn modules for edition. The parameter must be the name of a module. All the modules contained in the file are loaded, syntactically checked, and deliviered in the returned array (if they are correct). This method should NEVER BE USED BY NORMAL TOOLS, it is designed for coopn editors.
Parameters:
moduleName - the module to edit
Returns:
an array containing the valid coopn modules found in the file containing the desired module, or null if no valid modules are found
Throws:
java.lang.IllegalArgumentException - An argument is problematic.
java.lang.IllegalAccessException - the module is not locked.

storeModule

public void storeModule(CoopnModule module)
                 throws java.lang.IllegalAccessException
Stores a coopn module to the disk
Parameters:
module - the module to store
Throws:
java.lang.IllegalArgumentException - the module is not found.
java.lang.IllegalAccessException - the module is not locked.

storeModule

public void storeModule(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModule module)
                 throws java.lang.IllegalAccessException
Stores a coopn module in textual form to the disk. This method should NEVER BE USED BY NORMAL TOOLS, it is designed for coopn editors.
Parameters:
module - the module to store
Throws:
java.lang.IllegalArgumentException - the module is not found.
java.lang.IllegalAccessException - the module is not locked.

storeFile

public void storeFile(java.io.File file,
                      ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModule module)
               throws java.lang.IllegalAccessException
Stores a file containing a particular coopn module in textual form. This method should NEVER BE USED BY NORMAL TOOLS, it is designed for coopn editors.
Parameters:
module - the module to store
Throws:
java.lang.IllegalArgumentException - the module is not found.
java.lang.IllegalAccessException - the module is not locked.

storeModules

public void storeModules(CoopnModule[] modules)
                  throws java.lang.IllegalAccessException
Stores some coopn modules to the disk
Parameters:
modules - the module to store
Throws:
java.lang.IllegalArgumentException - an argument is problematic.
java.lang.IllegalAccessException - the modules are not locked.

storeModules

public void storeModules(ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModule[] modules)
                  throws java.lang.IllegalAccessException
Stores some coopn modules in textual form to the disk. This method should NEVER BE USED BY NORMAL TOOLS, it is designed for coopn editors.
Parameters:
modules - the modules to store
Throws:
java.lang.IllegalArgumentException - an argument is problematic.
java.lang.IllegalAccessException - the modules are not locked.

storeFile

public void storeFile(java.io.File file,
                      ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModule[] modules)
               throws java.lang.IllegalAccessException
Stores a file to the disk, containing some coopn modules in textual form. This method should NEVER BE USED BY NORMAL TOOLS, it is designed for coopn editors.
Parameters:
modules - the modules to store
Throws:
java.lang.IllegalArgumentException - an argument is problematic.
java.lang.IllegalAccessException - the modules are not locked.

createModule

public void createModule(int kind,
                         int status,
                         java.lang.String moduleName,
                         CoopnModuleNameList formalParams,
                         CoopnModuleName as,
                         java.lang.String comment)
                  throws java.lang.IllegalAccessException
Creates a coopn module.
Parameters:
kind - the module kind, one of: CoopnModule.ADT, CoopnModule.CLASS, CoopnModule.CONTEXT, CoopnModule.MORPHISM
status - the module status, one of: CoopnHeader.NORMAL, CoopnHeader.GENERIC, CoopnHeader.PARAMETER, combined with CoopnHeader.ABSTRACT
moduleName - the module name
formalParams - the formal parameters; may be null
as - the as module; may be null
comment - the associated comment; may be null
Throws:
java.lang.IllegalArgumentException - the module is not found.
java.lang.IllegalAccessException - the module is not locked.

getDependencies

public java.lang.String[] getDependencies(java.lang.String name)
                                   throws java.lang.IllegalArgumentException
Get the dependencies of a module. An up-to-date version of the module is found, and its dependencies are returned. In other words, this methods returns the list of all modules necessitated to "execute" this module.
Parameters:
name - the module name
Returns:
an array of strings containing all dependencies.
Throws:
java.lang.IllegalArgumentException - the module cannot be delivered (because it is not found, erroneous, and so on).

evalComment

public java.lang.String evalComment(java.lang.String string)
                             throws java.lang.IllegalArgumentException
String to comment conversion. Evaluates a string into a valid Coopn comment.
Parameters:
string - the string to evaluates; may be null
Returns:
the desired Coopn comment.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).

displayComment

public java.lang.String displayComment(java.lang.String elem)
                                throws java.lang.IllegalArgumentException
Comment to String conversion. Display a comment into a string representing it.
Parameters:
elem - the element to display; may be null
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).

evalName

public CoopnName evalName(java.lang.String string)
                   throws java.lang.IllegalArgumentException
String to Name conversion. Evaluates a string into a valid Coopn name.
Parameters:
string - the string to evaluates
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).

displayName

public java.lang.String displayName(CoopnName elem)
                             throws java.lang.IllegalArgumentException
Name to String conversion. Display a Name into a string representing it.
Parameters:
elem - the element to display
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).

evalModuleName

public CoopnModuleName evalModuleName(java.lang.String string)
                               throws java.lang.IllegalArgumentException
String to ModuleName conversion. Evaluates a string into a valid Coopn module name.
Parameters:
string - the string to evaluates
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).

displayModuleName

public java.lang.String displayModuleName(CoopnModuleName elem)
                                   throws java.lang.IllegalArgumentException
ModuleName to String conversion. Display a module name into a string representing it.
Parameters:
elem - the element to display
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).

evalType

public CoopnType evalType(java.lang.String string,
                          ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                   throws java.lang.IllegalArgumentException
String to Type conversion. Evaluates a string into a valid Coopn type, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
string - the string to evaluates
frame - interpretation frame.
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

displayType

public java.lang.String displayType(CoopnType elem,
                                    ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                             throws java.lang.IllegalArgumentException
Type to String conversion. Display a Type into a string representing it, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
elem - the element to display
frame - interpretation frame.
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

evalTypeAgg

public CoopnTypeAgg evalTypeAgg(java.lang.String string,
                                ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                         throws java.lang.IllegalArgumentException
String to TypeAgg conversion. Evaluates a string into a valid Coopn list of types, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
string - the string to evaluates
frame - interpretation frame.
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

displayTypeAgg

public java.lang.String displayTypeAgg(CoopnTypeAgg elem,
                                       ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                                throws java.lang.IllegalArgumentException
TypeAgg to String conversion. Display a TypeAgg into a string representing it, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
elem - the element to display
frame - interpretation frame.
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

evalMigrationType

public CoopnMigrationType evalMigrationType(java.lang.String string,
                                            ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                                     throws java.lang.IllegalArgumentException
String to MigrationType conversion. Evaluates a string into a valid Coopn migration type, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
string - the string to evaluates
frame - interpretation frame.
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

displayMigrationType

public java.lang.String displayMigrationType(CoopnMigrationType elem,
                                             ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                                      throws java.lang.IllegalArgumentException
MigrationType to String conversion. Display a migration type into a string representing it, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
elem - the element to display
frame - interpretation frame.
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

evalMigrationTypeAgg

public CoopnMigrationTypeAgg evalMigrationTypeAgg(java.lang.String string,
                                                  ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                                           throws java.lang.IllegalArgumentException
String to MigrationTypeAgg conversion. Evaluates a string into a valid Coopn list of migration types, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
string - the string to evaluates
frame - interpretation frame.
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

displayMigrationTypeAgg

public java.lang.String displayMigrationTypeAgg(CoopnMigrationTypeAgg elem,
                                                ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                                         throws java.lang.IllegalArgumentException
MigrationTypeAgg to String conversion. Display a list of migration types into a string representing it, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
elem - the element to display
frame - interpretation frame.
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

evalTerm

public CoopnTerm evalTerm(java.lang.String string,
                          ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                   throws java.lang.IllegalArgumentException
String to Term conversion. Evaluates a string into a valid Coopn term, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
string - the string to evaluates
frame - interpretation frame.
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

displayTerm

public java.lang.String displayTerm(CoopnTerm elem,
                                    ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                             throws java.lang.IllegalArgumentException
Term to String conversion. Display a Term into a string representing it, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
elem - the element to display
frame - interpretation frame.
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

evalTermAgg

public CoopnTermAgg evalTermAgg(java.lang.String string,
                                ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                         throws java.lang.IllegalArgumentException
String to TermAgg conversion. Evaluates a string into a valid Coopn list of terms, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
string - the string to evaluates
frame - interpretation frame.
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

displayTermAgg

public java.lang.String displayTermAgg(CoopnTermAgg elem,
                                       ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                                throws java.lang.IllegalArgumentException
TermAgg to String conversion. Display a TermeAgg into a string representing it, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
elem - the element to display
frame - interpretation frame.
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

evalMark

public CoopnMark evalMark(java.lang.String string,
                          ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                   throws java.lang.IllegalArgumentException
String to Mark conversion. Evaluates a string into a valid Coopn mark, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
string - the string to evaluates
frame - interpretation frame.
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

displayMark

public java.lang.String displayMark(CoopnMark elem,
                                    ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                             throws java.lang.IllegalArgumentException
Mark to String conversion. Display a Mark into a string representing it, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
elem - the element to display
frame - interpretation frame.
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

evalMarkAgg

public CoopnMarkAgg evalMarkAgg(java.lang.String string,
                                ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                         throws java.lang.IllegalArgumentException
String to MarkAgg conversion. Evaluates a string into a valid Coopn list of marks, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
string - the string to evaluates
frame - interpretation frame.
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

displayMarkAgg

public java.lang.String displayMarkAgg(CoopnMarkAgg elem,
                                       ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                                throws java.lang.IllegalArgumentException
MarkAgg to String conversion. Display a MarkAgg into a string representing it, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
elem - the element to display
frame - interpretation frame.
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

evalAtom

public CoopnAtom evalAtom(java.lang.String string,
                          ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                   throws java.lang.IllegalArgumentException
String to Atom conversion. Evaluates a string into a valid Coopn atom, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
string - the string to evaluates
frame - interpretation frame.
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

displayAtom

public java.lang.String displayAtom(CoopnAtom elem,
                                    ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                             throws java.lang.IllegalArgumentException
Atom to String conversion. Display an atom into a string representing it, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
elem - the element to display
frame - interpretation frame.
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

evalCondition

public CoopnCondition evalCondition(java.lang.String string,
                                    ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                             throws java.lang.IllegalArgumentException
String to Condition conversion. Evaluates a string into a valid Coopn condition, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
string - the string to evaluates
frame - interpretation frame.
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

displayCondition

public java.lang.String displayCondition(CoopnCondition elem,
                                         ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                                  throws java.lang.IllegalArgumentException
Condition to String conversion. Display a condition into a string representing it, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
elem - the element to display
frame - interpretation frame.
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

evalSync

public CoopnSync evalSync(java.lang.String string,
                          ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                   throws java.lang.IllegalArgumentException
String to Sync conversion. Evaluates a string into a valid Coopn synchronisation, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
string - the string to evaluates
frame - interpretation frame.
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

displaySync

public java.lang.String displaySync(CoopnSync elem,
                                    ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                             throws java.lang.IllegalArgumentException
Sync to String conversion. Display a synchronisation into a string representing it, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
elem - the element to display
frame - interpretation frame.
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

evalEvent

public CoopnEvent evalEvent(java.lang.String string,
                            ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                     throws java.lang.IllegalArgumentException
String to Event conversion. Evaluates a string into a valid Coopn event, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
string - the string to evaluates
frame - interpretation frame.
Returns:
the desired Coopn element.
Throws:
java.lang.IllegalArgumentException - the element cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge

displayEvent

public java.lang.String displayEvent(CoopnEvent elem,
                                     ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frame)
                              throws java.lang.IllegalArgumentException
ClassEvent to String conversion. Display a event into a string representing it, according to an interpretation frame. The frame defines the accessibility of the symbols composing the coopn element. CoopnFrame includes CoopnSituation, CoopnBridge, and CoopnWorkspace (related the the management of coopn semantics).
Parameters:
elem - the element to display
frame - interpretation frame.
Returns:
the desired string.
Throws:
java.lang.IllegalArgumentException - the string cannot be delivered (because it is erroneous, and so on).
See Also:
CoopnSituation, CoopnBridge