| de.uka.ilkd.key.ocl.gf |
|
| Java Source File Name | Type | Comment |
| AbstractProber.java | Class | |
| AstNodeData.java | Class |
author:
hdaniels
author:
An object of this type knows how it self should be rendered,
author:
via Printname how its children should be rendered.
author:
This means the tooltip information it got from there.
author:
Knows nothing directly of the type of the node, which an object of this class
author:
represents. |
| CallbackClassInv.java | Class | |
| CallbackPrePost.java | Class | |
| ChainCommandTuple.java | Class | |
| ConstraintCallback.java | Class | |
| Display.java | Class | |
| DynamicTree2.java | Class | A GUI class, does store the tree, but does not create it. |
| ExportFormatMenu.java | Class | Provide a choice of output formats: OCL or Natural Language. |
| GfAstNode.java | Class |
author:
daniels
author:
This Class represents a parsed node in the GF AST.
author:
It knows about types, bound variables, funs.
author:
But nothing about printnames. |
| GfCapsule.java | Class | |
| GFCommand.java | Class |
author:
daniels
author:
A class that represents a GF command together with its printname.
author:
It also gives easy access to all the abuses of the printname like
author:
the subcategory, the tooltip, it knows about wrapping and so on.
author:
The static stuff could produce problems if the editor is started
author:
several times without closing it first. |
| GFEditor2.java | Class | |
| GfeditResult.java | Class | Encapsulates the <gfedit> XML tree from GF. |
| GFinterface.java | Class | control object interfacing KeY with GF. |
| GrammarFilter.java | Class | |
| Hmsg.java | Class | The parsed format of the hmsg, that GF sents, if a command in java mode
was prefixed with [something]. |
| InputCommand.java | Class |
author:
daniels
author:
This class represents a fake command, i.e. |
| LanguageManager.java | Interface | Sadly, this class is a hack. |
| Linearization.java | Class | Encapsulates everything that has to do with the linearization.
It is parsed here, and also the indices for click-in for pure text and HTML
are managed here. |
| LinkCommand.java | Class |
author:
daniels
author:
This class represents a link to a subcategory submenu. |
| LinPosition.java | Class | represents a position in the AST in Haskell notation together
with a flag that indicates whether at least one constraint does not hold or
if all hold (correct/incorrect). |
| MarkedArea.java | Class | Stores quasi a piece of the linearization area, that has a word, a beginning
and an end in the linearization area and a position in the AST. |
| MarkedAreaHighlightingStatus.java | Class | Stores a MarkedArea together with some status fields, which tell
how it should get highlighted. |
| ModelExporter.java | Class | |
| NewCategoryMenuResult.java | Class | GF sends the new menu as XML. |
| NoLineBreakFormatter.java | Class | |
| Printname.java | Class | |
| PrintnameLoader.java | Class | |
| PrintnameManager.java | Class |
author:
daniels
author:
An object of this class manages a bunch of printlines which is comprised of
author:
storage and retrieval. |
| ReadDialog.java | Class | Takes care of reading in Strings that are to be parsed and terms. |
| RealCommand.java | Class | |
| RefinedAstNodeData.java | Class |
author:
daniels
author:
An object of this class represents a line in the GF abstract syntax tree
author:
in the graphical form. |
| RefinementMenu.java | Class | Takes care of managing the commands, that GF sent,
including subcategories and their menus.
Manages the graphical lists. |
| RefinementMenuCollector.java | Class | Asks GF the Vector of RefinementMenu entries. |
| RefinementMenuTransformer.java | Class | This class is completely static and cannot be instantiated. |
| SelfPropertiesCommand.java | Class | This class is an unclean hack. |
| SelfResultProber.java | Class | asks GF if the given commands leads to a situation, where
something could be filled in automatically. |
| StringTuple.java | Class | Small tuple class for two Strings. |
| SubtypingProber.java | Class | This class goes through the tree and tries to close all open Subtype lines.
Makes heavy use of instance fields instead of parameters and return values.
I justify that with the rather small size of this class.
Because of this this class has to be reinitialized for each run. |
| TempGrammarFiles.java | Class | |
| TestGfAstNode.java | Class | |
| TestUtils.java | Class | |
| ToolTipCellRenderer.java | Class | |
| TreeAnalyser.java | Class | Goes through the AST and:
Labels node according to the following:
hidden, if they are a coerce without a constraint
colored, if they are a coerce with a constraint
Saves a reference to the currently selected node
Finds out
if attributes of self should be given an easy access,
if the refinement menu below a coerce should be reduces,
if it should be probed, if self and result are superfluous
in the refinement menu. |
| TreeAnalysisResult.java | Class | |
| TypesLoader.java | Class |
author:
daniels
author:
If the entries of the refinement menu should have to appear there with
author:
type information appended to them, then the printnames have to get this
author:
knowledge at the time of their creation.
author:
When the entries are displayed, the display text line of GF is *not* looked
author:
at. |
| UnrefinedAstNodeData.java | Class | |
| Utils.java | Class | |