www.pudn.com > use-2.3.0.zip > help.properties

help.quit.syntax=q, quit, exit
help.quit=Exit USE
help.quit.detail=\
Enter 'q', 'quit' or 'exit' to exit USE.


help.undo.syntax=undo
help.undo=Undo last state manipulation command
help.undo.detail=\
Undoes the last state manipulation command.


help.stepon.syntax=stepon
help.stepon=Activates single-step mode
help.stepon.detail=\
Activates single-step mode: `return' continues, `escape' followed by `return' exits step mode.



help.reset.syntax=reset
help.reset=Reset system to empty state
help.reset.detail=\
Reset the USE system state to an empty state.


help.help.syntax=help [!CMD]
help.help=Print available commands
help.help.detail=\
Prints available commands. 'help' CMD prints help about CMD.


help.eval.syntax=? EXPR
help.eval=Compiles and evaluates EXPR
help.eval.detail=\
Compiles and evaluates EXPR.


help.eval.verbose.syntax=?? EXPR
help.eval.verbose=Compiles and evaluates EXPR (verbose)
help.eval.verbose.detail=\
Compiles and evaluates EXPR with verbose output of subexpression results.


help.statictype.syntax=: EXPR
help.statictype=Compiles EXPR and shows its static type
help.statictype.detail=\
Compiles EXPR and shows its static type. 


help.gen.loaded.syntax=gen loaded
help.gen.loaded=Prints loaded class invariants
help.gen.loaded.detail=Prints class invariants loaded from an extra file (*.invs).


help.read.syntax=read FILE
help.read=Deprecated. Reads commands from FILE
help.read.detail=\
Deprecated (use 'open' instead'). Reads commands from FILE.


help.readq.syntax=readq FILE
help.readq=Deprecated. Reads commands quietly from FILE
help.readq.detail=\
Deprecated (use 'open' instead'). Reads commands quietly from FILE.


help.load.syntax=load [-q] FILE
help.load=Deprecated. Loads invariants from a file
help.load.detail=\
Deprecated (use 'open' instead'). Loads invariants from FILE for the Generator\n\n\
-q loads quietly.


help.open.syntax=open [-q] FILE
help.open=Reads information from FILE
help.open.detail=\
Reads information from FILE. FILE can be \n\n\
a USE specification (.use),\n\
a command file (.cmd), \n\
or an invariants file (.invs).\n\n\
USE '-q' for quiet reading.


help.net.syntax=net
help.net=Read commands from socket
help.net.detail=\
Read commands from a socket. Socket number is 1777.


help.genmm.syntax=genmm [FILE]
help.genmm=Output commands for generating a metamodel instance
help.genmm.detail=\
Outputs commands for generating a metamodel instance.


help.info.syntax=info SUBCOMMAND
help.info=Print info
help.info.detail=\
Prints information about the system.\n\
Please use 'info SUBCOMMAND' to get more information. Subcommands are:\n\n\
  class        Info about a class\n\
  model        Info about the model\n\
  state        Info about the current system state\n\
  opstack      Info about currently active operations\n\
  prog         Info about the running program\n\
  vars         Info about global variables


help.create.syntax=!create  :  [between ()]
help.create=Creates objects
help.create.detail=\
Creates objects of a given class or association class.\n\n\
     the names of the objects to be created.\n\
       the class to be instantiated\n\
     If  is an association class, then the link ends must\n            be given after 'between'.


help.insert.syntax=!insert () into 
help.insert=Insert link into association
help.insert.detail=\
Inserts a link into an association.\n\n\
  ()    the objects to be connected\n\
          the association


help.destroy.syntax=!destroy 
help.destroy=Destroys objects
help.destroy.detail=\
Destroys the objects given by 


help.set.syntax=!set . \u003A\u003D 
help.set=Set attribute value of object
help.set.detail=\
Sets attribute  of object  to a new value given by .


help.delete.syntax=!delete () from 
help.delete=Delete link from association
help.delete.detail=\
Deletes a link from an association.\n\n\
  ()    the objects that identify the link\n\
          the association from which the link will be deleted.



help.opexit.syntax=!opexit []
help.opexit=Exits least recently entered operation
help.opexit.detail=\
Exits least recently entered operation.\n\n\
    the return value (if the operation has one).


help.openter.syntax=!openter   ([])
help.openter=Enters object operation
help.openter.detail=\
Enters operation  in object .\n\n\
 are the parameters of the operation (if any)



help.check.syntax=check [-v] [-d] [ -a | inv-list ]
help.check=Checks integrity constraints
help.check.detail=\
Checks integrity constraints.\n\n\
  -v       Verbose output of subexpression results for failing invariants\n\
  -d       Show which instances cause and invariant to fail.\n\
  -a       Check all invariants (including the loaded ones from the generator)\n\
  inv-list Check only given invariants.\n\n\
Invariants are separated with a space\n\n\
Signature of an invariant is ::


help.cmd.syntax=! CMD
help.cmd=Executes state manipulation command
help.cmd.detail=\
Executes state manipulation command CMD.\n\
Please use 'help CMD' to get more specific information.\n\
Available commands:\n\n\
  !create   Create objects\n\
  !destroy  Destroy objects\n\
  !insert   Insert link into association \n\
  !delete   Delete link form association\n\
  !set      Set attribute value of object\n\
  !openter  Enter operation\n\
  !opexit   Exit least recently entered operation.


help.multiline.syntax=\\
help.multiline=Enter OCL-Expressions over multiple lines
help.multiline.detail=\
Use \\ to enter multiline mode. Finish with a '.' on a single line.


help.info.vars.syntax=info vars
help.info.vars=Prints information about global variables
help.info.vars.detail=Prints information about global variables.

help.info.prog.syntax=info prog
help.info.prog=Print internal program infos
help.info.prog.detail=\
Prints information about the USE process (i.e., memory usage).

help.info.opstack.syntax=info opstack
help.info.opstack=Print currently active operations
help.info.opstack.detail=\
Print all currently active operations. This is the operation call stack.

help.info.state.syntax=info state
help.info.state=Print info about current system state
help.info.state.detail=\
Prints information about the current system state.\n\
Shows how many objects and links are created (per class/association).

help.info.model.syntax=info model
help.info.model=Print info about loaded model
help.info.model.detail=\
Prints all information about the loaded model (classes, associations, constraints).

help.info.class.syntax=info class NAME
help.info.class=Print info about class
help.info.class.detail=\
Print information about a class.



help.gen.start.syntax=gen start [options] FILE PROCNAME([params])
help.gen.start=Search valid system state
help.gen.start.detail=\
Searches for a valid system state using the ASSL procedure PROCNAME in FILE\n\n\
FILE      the file containing PROCNAME\n\
PROCNAME  the name of the ASSL procedure\n\
\n\
-l NUM     Check only NUM system states (limit)\n\
-r NUM     Initializes the random number generator with NUM\n\
-b         Print state changes during search (brief)\n\
-d         Print flow of control and state changes (detailed)\n\
-bf FILE2  Print brief output to FILE\n\
-df FILE2  Print detailed output to FILE\n\
-s         Do not check multiplicities

help.gen.flags.syntax=gen flags [invnames] [+d|-d] [+n|-n]
help.gen.flags=Switch invariant evaluation flags
help.gen.flags.detail=\
Control evaluation of invariants.\n\
Invariants can be negated or deactivated using this command.\n\n\
invnames    a name of an invariant (::)\n\
+d          deactivates the invariants\n\
-d          activates the invariants\n\
+n          negates the invariants\n\
-n          undo +n\n\
\n\
If no options are specified this command prints out the flags currently set.


help.gen.unload.syntax=gen unload [invnames]
help.gen.unload=Unloads added class invariants
help.gen.unload.detail=Unloads class invariants (::)\n\
added from an invariant file (*.invs)\n\

help.gen.result.syntax=gen result
help.gen.result=Prints results of last generator search
help.gen.result.detail=\
Prints results (USE commands) of the last generator search.

help.gen.result.inv.syntax=gen result inv
help.gen.result.inv=Prints statistics of last generator search
help.gen.result.inv.detail=\
Prints statistics about the evaluation of invariants of the last generator search.


help.gen.result.accept.syntax=gen result accept
help.gen.result.accept=Accept result of last generator search
help.gen.result.accept.detail=\
Sets the USE system state to the state found by the last generator search.