| java.lang.Object
 de.uka.ilkd.key.casetool.together.keydebugclassloader.KeyScript
de.uka.ilkd.key.casetool.together.scripts.patternupdate.PatternUpdate
| PatternUpdate | | public class PatternUpdate extends KeyScript (Code) | | The intention of this script is to keep the patterns up to date if another
version of the KeY jar file is used. The patterns cannot
be accessed if they are inside a jar file so we have to copy them to another
place outside the jar file. The position is given by the system property
'key.pattern.path'. Copying the patterns once after the jar file is installed
raises the problem that after the jar file is updated the changed or new
patterns cannot be used. So we have to check if the installed patterns are up
to date or if new ones have been added and if so to copy them.
|
| Method Summary | |
| public void | autorun1()
Activate the script (cmp. | | public void | run1(IdeContext context)
|
| autorun1 | | public void autorun1()(Code) | | Activate the script (cmp. KeyScript)
|
| run1 | | public void run1(IdeContext context)(Code) | | Reactivate the script
|
|
|