Hierarchy For All Packages

Package Hierarchies:

jack.plugin, jack.plugin.compile, jack.plugin.edit, jack.plugin.metrics, jack.plugin.perspective, jack.plugin.prove, jack.plugin.source, jml2b, jml2b.exceptions, jml2b.formula, jml2b.languages, jml2b.languages.java, jml2b.link, jml2b.pog, jml2b.pog.lemma, jml2b.pog.printers, jml2b.pog.proofobligation, jml2b.pog.substitution, jml2b.pog.util, jml2b.structure, jml2b.structure.bytecode, jml2b.structure.java, jml2b.structure.jml, jml2b.structure.statement, jml2b.util, jpov, jpov.structure, jpov.substitution, jpov.viewer.lemma, jpov.viewer.source, jpov.viewer.tree

Class Hierarchy

• class java.lang.Object
  • class jml2b.pog.printers.AClassEnumeration
  • class org.eclipse.jface.action.Action (implements org.eclipse.jface.action.IAction)
    • class jack.plugin.prove.ProveAction (implements org.eclipse.ui.IObjectActionDelegate, java.lang.Runnable)
  • class jack.plugin.source.AddJmlAction (implements org.eclipse.ui.IObjectActionDelegate)
  • class jml2b.astprint
  • class jml2b.formula.BasicType
  • class jack.plugin.edit.Box
  • class jpov.viewer.source.Box
  • class org.eclipse.jface.dialogs.DialogPage (implements org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider)
    • class org.eclipse.jface.preference.PreferencePage (implements org.eclipse.jface.preference.IPreferencePage)
      • class org.eclipse.jface.preference.FieldEditorPreferencePage (implements org.eclipse.jface.util.IPropertyChangeListener)
        • class jack.plugin.JackPreferencePage (implements org.eclipse.ui.IWorkbenchPreferencePage)
        • class jack.plugin.JackPreferencePageCompiler (implements org.eclipse.ui.IWorkbenchPreferencePage)
        • class jack.plugin.JackPreferencePageEditor (implements org.eclipse.ui.IWorkbenchPreferencePage)
        • class jack.plugin.JackPreferencePageProvers (implements org.eclipse.ui.IWorkbenchPreferencePage)
      • class org.eclipse.ui.dialogs.PropertyPage (implements org.eclipse.ui.IWorkbenchPropertyPage)
        • class jack.plugin.JackProjectPropertyPage
  • class jack.plugin.edit.EditAction (implements org.eclipse.ui.IObjectActionDelegate)
  • class jml2b.util.Emitter
  • class jpov.structure.Field
  • class jml2b.util.FileUpdate
    • class jml2b.util.AddFileUpdate
    • class jml2b.util.ReplaceFileUpdate
  • class jml2b.util.FileUpdateComparator (implements java.util.Comparator)
  • class jpov.viewer.lemma.GoalContentProvider (implements org.eclipse.jface.viewers.IStructuredContentProvider)
  • class jml2b.pog.lemma.GoalOrigin
  • class jpov.viewer.lemma.HypContentProvider (implements org.eclipse.jface.viewers.IStructuredContentProvider)
  • class jpov.viewer.lemma.HypLine
  • class jml2b.structure.IAParameters
    • class jml2b.structure.bytecode.ClassParameters
    • class jml2b.structure.java.Parameters (implements jml2b.link.Linkable, java.io.Serializable)
  • class jpov.Icons
  • class jack.plugin.JackDefaultSpecEditor
  • class jack.plugin.JackJml2bConfiguration (implements jml2b.IJml2bConfiguration)
  • class jack.plugin.JackPathEditor
  • class jack.plugin.perspective.JackPerspective (implements org.eclipse.ui.IPerspectiveFactory)
  • class jml2b.languages.java.JavaLanguage (implements jml2b.languages.ILanguage)
  • class jack.plugin.edit.JavaLineStyler (implements org.eclipse.swt.custom.LineStyleListener)
  • class jack.plugin.edit.JavaScanner
    • class jack.plugin.edit.BCScanner
  • class jml2b.languages.java.JavaTranslationResult (implements jml2b.languages.ITranslationResult)
  • class jml2b.Jml2bConfig (implements jml2b.IJml2bConfiguration)
  • class jml2b.structure.java.JmlFile (implements jml2b.structure.java.IJmlFile, java.io.Serializable)
  • class jml2b.util.JmlFileEntry
    • class jml2b.util.JmlClassEntryFile
    • class jml2b.util.JmlSourceEntryFile
      • class jml2b.util.JmlEntryFile (implements java.io.Serializable)
      • class jml2b.util.JmlEntryFileInJar (implements java.io.Serializable)
  • class jml2b.util.JmlFileStream (implements org.eclipse.compare.IStreamContentAccessor)
  • class jack.plugin.source.JmlMergeViewerContentProvider (implements org.eclipse.compare.contentmergeviewer.IMergeViewerContentProvider)
  • class jml2b.util.JmlPathEntry
    • class jml2b.util.JmlPathDirectory
    • class jml2b.util.JmlPathJar
  • class jpov.JpoFile
  • class jml2b.util.JpoInputStream
  • class jml2b.util.JpoOutputStream (implements jml2b.util.IOutputStream)
  • class jpov.JpovError
  • class jack.plugin.JpovUtil
  • class org.eclipse.jface.viewers.LabelProvider (implements org.eclipse.jface.viewers.ILabelProvider)
    • class jack.plugin.compile.CompilationUnitDecorator (implements org.eclipse.jface.viewers.ILightweightLabelDecorator)
    • class jpov.viewer.lemma.MyLabelProvider
    • class jpov.viewer.tree.TreeLabelProvider
  • class jml2b.languages.Languages
  • class jpov.viewer.lemma.LemmaView
  • class jack.plugin.source.MethodListContentProvider (implements org.eclipse.jface.viewers.IStructuredContentProvider)
  • class jack.plugin.source.MethodListLabelProvider (implements org.eclipse.jface.viewers.ILabelProvider)
  • class jack.plugin.metrics.MetricsAction (implements org.eclipse.ui.IObjectActionDelegate)
  • class jack.plugin.metrics.MetricsContentProvider (implements org.eclipse.jface.viewers.IStructuredContentProvider)
  • class jml2b.util.ModifiableSet
  • class jpov.structure.PartialJmlFile
  • class jpov.PartialJpoFile
  • class org.eclipse.core.runtime.Plugin (implements org.osgi.framework.BundleActivator)
    • class org.eclipse.ui.plugin.AbstractUIPlugin
      • class jack.plugin.JackPlugin
  • class jml2b.util.Profiler
    • class jml2b.pog.printers.ClassResolver (implements jml2b.pog.printers.IClassResolver, jml.JmlDeclParserTokenTypes, jml2b.structure.statement.MyToken)
    • class jml2b.pog.util.ColoredInfo (implements java.io.Serializable)
    • class jml2b.pog.util.ContextFromPureMethod (implements jml2b.formula.IFormToken)
    • class jml2b.exceptions.ErrorHandler
      • class jack.plugin.compile.PoGeneratorErrorHandler
      • class jml2b.exceptions.StderrHandler
    • class jml2b.pog.lemma.ExceptionalBehaviourStack (implements jml2b.formula.IFormToken)
    • class jml2b.structure.jml.Exsures (implements jml2b.link.Linkable, java.io.Serializable, jml2b.link.TypeCheckable)
    • class jml2b.formula.Formula (implements jml2b.formula.IFormToken, java.io.Serializable)
      • class jml2b.formula.BinaryForm
        • class jml2b.languages.java.JavaBinaryForm (implements jml2b.languages.ITranslatable)
      • class jml2b.formula.QuantifiedForm
        • class jml2b.languages.java.JavaQuantifiedForm (implements jml2b.languages.ITranslatable)
      • class jml2b.formula.TerminalForm
        • class jml2b.formula.ElementsForm
        • class jml2b.languages.java.JavaTerminalForm (implements jml2b.languages.ITranslatable)
        • class jml2b.formula.ModifiedFieldForm
          • class jml2b.languages.java.JavaModifiedFieldForm (implements jml2b.languages.ITranslatable)
      • class jml2b.formula.TriaryForm
        • class jml2b.languages.java.JavaTriaryForm (implements jml2b.languages.ITranslatable)
      • class jml2b.formula.TTypeForm (implements jml2b.structure.java.IType)
        • class jml2b.languages.java.JavaTTypeForm (implements jml2b.languages.ITranslatable)
      • class jml2b.formula.UnaryForm
        • class jml2b.languages.java.JavaUnaryForm (implements jml2b.languages.ITranslatable)
    • class jml2b.pog.lemma.Goal (implements jml2b.formula.IFormToken, jml2b.pog.lemma.ILemma, jml2b.structure.statement.MyToken)
      • class jml2b.pog.lemma.NonObviousGoal
    • class jml2b.pog.lemma.GoalStatus
    • class jml2b.structure.java.Identifier (implements java.io.Serializable)
    • class jml2b.pog.util.IdentifierResolver
    • class jml2b.Jml2b
    • class jml2b.structure.java.JmlLoader
    • class jml2b.pog.lemma.LabeledProofsVector
    • class jml2b.pog.lemma.Lemma (implements jml2b.formula.IFormToken, jml2b.pog.lemma.ILemma)
      • class jml2b.pog.lemma.BehaviourLemma
        • class jml2b.pog.lemma.ExceptionalLemma
        • class jml2b.pog.lemma.NormalLemma
      • class jml2b.pog.lemma.ExsuresLemma
      • class jml2b.pog.lemma.SimpleLemma (implements java.io.Serializable)
        • class jml2b.pog.lemma.VariantLemma (implements jml.JmlDeclParserTokenTypes)
    • class jml2b.link.LinkContext
    • class jml2b.link.LinkInfo
    • class jml2b.link.LinkUtils
    • class jml2b.structure.java.Modifiers (implements jml2b.structure.java.IModifiers, java.io.Serializable)
    • class jml2b.structure.java.ParsedItem (implements java.io.Serializable)
      • class jml2b.structure.jml.GuardedModifies (implements jml.JmlDeclParserTokenTypes, jml2b.link.TypeCheckable)
      • class jml2b.structure.jml.Modifies (implements jml2b.formula.IFormToken, jml.JmlDeclParserTokenTypes, jml2b.link.TypeCheckable)
        • class jml2b.structure.jml.ModifiesDot
        • class jml2b.structure.jml.ModifiesIdent
        • class jml2b.structure.jml.ModifiesLbrack
      • class jml2b.structure.jml.ModifiesClause (implements jml2b.formula.IFormToken, jml.JmlDeclParserTokenTypes, jml2b.link.TypeCheckable)
        • class jml2b.structure.jml.ModifiesEverything
        • class jml2b.structure.jml.ModifiesList (implements jml.JmlDeclParserTokenTypes)
        • class jml2b.structure.jml.ModifiesNothing
      • class jml2b.structure.java.NamedNode (implements jml.JmlDeclParserTokenTypes)
        • class jml2b.structure.java.AClass (implements jml2b.link.Linkable)
          • class jml2b.structure.java.Class (implements jml2b.link.Linkable, java.io.Serializable, jml2b.link.TypeCheckable)
          • class jml2b.structure.bytecode.ClassFile (implements jml2b.structure.java.IModifiers)
        • class jml2b.structure.java.Declaration (implements jml.JmlDeclParserTokenTypes, jml2b.link.Linkable)
          • class jml2b.structure.AField (implements jml2b.link.Linkable)
            • class jml2b.structure.bytecode.ClassField (implements jml2b.structure.java.IModifiers)
            • class jml2b.structure.java.Field (implements java.io.Serializable)
              • class jml2b.pog.util.TemporaryField
          • class jml2b.structure.AMethod (implements jml2b.formula.IModifiesField)
            • class jml2b.structure.bytecode.ClassMethod (implements jml2b.structure.java.IModifiers)
              • class jml2b.structure.bytecode.ClassDefaultConstructor
            • class jml2b.structure.java.Method (implements jml2b.formula.IModifiesField, java.io.Serializable, jml2b.link.TypeCheckable)
              • class jml2b.structure.java.Constructor
          • class jml2b.structure.jml.Depends
          • class jml2b.structure.java.Invariant (implements jml2b.link.TypeCheckable)
            • class jml2b.structure.java.Constraint
          • class jml2b.structure.jml.Represents (implements jml2b.structure.jml.JmlExpression)
        • class jml2b.structure.java.Package (implements java.io.Serializable)
      • class jml2b.structure.statement.QuantifiedVar
      • class jml2b.structure.jml.SpecArray (implements jml2b.formula.IFormToken, jml.JmlDeclParserTokenTypes, jml2b.link.TypeCheckable)
        • class jml2b.structure.jml.SpecArrayDotDot
        • class jml2b.structure.jml.SpecArrayExpr
        • class jml2b.structure.jml.SpecArrayStar
      • class jml2b.structure.jml.SpecCase (implements jml.JmlDeclParserTokenTypes, jml2b.link.Linkable, java.io.Serializable, jml2b.link.TypeCheckable)
      • class jml2b.structure.statement.Statement (implements jml2b.formula.IFormToken, jml.JmlDeclParserTokenTypes, jml2b.link.Linkable, jml2b.structure.statement.MyToken, jml2b.link.TypeCheckable)
        • class jml2b.structure.statement.Expression (implements jml2b.formula.IFormToken, jml2b.structure.jml.JmlExpression)
          • class jml2b.structure.statement.ArrayInitializer
          • class jml2b.structure.statement.BinaryExp
          • class jml2b.structure.statement.IsSubtypeOfExp
          • class jml2b.structure.statement.MethodCallExp
          • class jml2b.structure.statement.QuantifiedExp
          • class jml2b.structure.statement.QuestionExp
          • class jml2b.structure.statement.TerminalExp
          • class jml2b.structure.statement.TTypeExp
          • class jml2b.structure.statement.UnaryExp
          • class jml2b.structure.statement.WithTypeExp
        • class jml2b.structure.statement.StAssert
        • class jml2b.structure.statement.StBlock
        • class jml2b.structure.statement.StControlFlowBreak
        • class jml2b.structure.statement.StIf
        • class jml2b.structure.statement.StImplementsLabel
        • class jml2b.structure.statement.StLabel (implements jml2b.formula.IFormToken)
        • class jml2b.structure.statement.StLoops (implements jml2b.formula.IModifiesField)
          • class jml2b.structure.statement.StDoWhile
          • class jml2b.structure.statement.StFor
        • class jml2b.structure.statement.StSequence
        • class jml2b.structure.statement.StSkip
        • class jml2b.structure.statement.StSpecBlock (implements jml2b.formula.IModifiesField)
        • class jml2b.structure.statement.StSwitch
        • class jml2b.structure.statement.StTry
        • class jml2b.structure.statement.StVarDecl
      • class jml2b.structure.java.Type (implements jml2b.structure.java.IType, jml.JmlDeclParserTokenTypes, jml2b.link.Linkable, java.io.Serializable)
        • class jml2b.languages.java.JavaType (implements jml2b.languages.ITranslatable)
    • class jml2b.pog.Pog (implements jml2b.formula.IFormToken, jml.JmlDeclParserTokenTypes, jml2b.structure.java.ModFlags)
    • class jml2b.pog.proofobligation.ProofObligation
      • class jml2b.pog.proofobligation.SourceProofObligation (implements jml2b.formula.IFormToken, jml.JmlDeclParserTokenTypes)
        • class jml2b.pog.proofobligation.MethodPO
          • class jml2b.pog.proofobligation.ConstructorPO
        • class jml2b.pog.proofobligation.StaticInitializationPO
        • class jml2b.pog.proofobligation.WellDefinedInvPO
        • class jml2b.pog.proofobligation.WellDefinedSpecPO
    • class jml2b.formula.QuantifiedVarForm
      • class jml2b.languages.java.JavaQuantifiedVarForm (implements jml2b.languages.ITranslatable)
    • class jml2b.Serializer
    • class jml2b.util.StatementUtils
    • class jml2b.pog.substitution.SubArrayElement (implements jml2b.pog.substitution.Substitution)
    • class jml2b.pog.substitution.SubArrayElementSingle (implements jml2b.pog.substitution.Substitution)
    • class jml2b.pog.substitution.SubArrayLength (implements jml2b.pog.substitution.Substitution)
    • class jml2b.pog.substitution.SubForm (implements jml2b.pog.substitution.Substitution)
      • class jml2b.pog.substitution.SubStaticOrLocalField
    • class jml2b.pog.substitution.SubInstances (implements jml2b.pog.substitution.Substitution)
      • class jml2b.pog.substitution.SubInstancesSet
      • class jml2b.pog.substitution.SubInstancesSingle
    • class jml2b.pog.substitution.SubMemberField (implements jml2b.pog.substitution.Substitution)
    • class jml2b.pog.substitution.SubTmpVar (implements jml2b.pog.substitution.Substitution)
    • class jml2b.pog.substitution.SubTypeof (implements jml2b.pog.substitution.Substitution)
      • class jml2b.pog.substitution.SubTypeofSet
      • class jml2b.pog.substitution.SubTypeofSingle
    • class jml2b.util.Tabs
    • class jml2b.util.TestSerialize
    • class jml2b.pog.lemma.Theorem (implements jml2b.formula.IFormToken, jml.JmlDeclParserTokenTypes, jml2b.structure.statement.MyToken)
    • class jml2b.pog.lemma.TheoremList
    • class jml2b.util.Util
    • class jml2b.structure.java.VarDeclParser (implements jml2b.link.Linkable)
    • class jml2b.link.VarStack
    • class jml2b.pog.lemma.VirtualFormula (implements java.io.Serializable)
  • class jack.plugin.prove.ProofClickListener (implements org.eclipse.jface.viewers.IDoubleClickListener)
  • class jack.plugin.prove.ProofContentProvider (implements org.eclipse.jface.viewers.IStructuredContentProvider)
  • class jml2b.pog.lemma.Proofs (implements jml2b.formula.IFormToken, jml.JmlDeclParserTokenTypes, java.io.Serializable)
    • class jml2b.pog.lemma.ExceptionalProofs
  • class jml2b.pog.lemma.ProverStatus
  • class jack.plugin.RunnableWithError
    • class jack.plugin.Generator (implements org.eclipse.jface.operation.IRunnableWithProgress)
      • class jack.plugin.source.LoadAndLink
      • class jack.plugin.compile.PoGenerator (implements org.eclipse.jface.operation.IRunnableWithProgress)
    • class jack.plugin.ImageGenerator (implements org.eclipse.jface.operation.IRunnableWithProgress)
    • class jack.plugin.source.JmlClauseGenerator (implements org.eclipse.jface.operation.IRunnableWithProgress)
      • class jack.plugin.source.ModifiesGenerator
      • class jack.plugin.source.RequiresGenerator
  • class jpov.substitution.SubArrayElement (implements jpov.substitution.Substitution)
  • class jpov.substitution.SubArrayElementSingle (implements jpov.substitution.Substitution)
  • class jpov.substitution.SubArrayLength (implements jpov.substitution.Substitution)
  • class jpov.substitution.SubForm (implements jpov.substitution.Substitution)
  • class jpov.substitution.SubInstances (implements jpov.substitution.Substitution)
    • class jpov.substitution.SubInstancesSet (implements jml2b.formula.IFormToken)
    • class jpov.substitution.SubInstancesSingle
  • class jpov.substitution.SubMemberField (implements jpov.substitution.Substitution)
  • class jpov.substitution.SubTmpVar (implements jpov.substitution.Substitution)
  • class jpov.substitution.SubTypeof (implements jpov.substitution.Substitution)
    • class jpov.substitution.SubTypeofSet
    • class jpov.substitution.SubTypeofSingle
  • class java.lang.Thread (implements java.lang.Runnable)
    • class jack.plugin.prove.ProofTask
  • class java.lang.Throwable (implements java.io.Serializable)
    • class java.lang.Error
      • class jml2b.exceptions.InternalError
    • class java.lang.Exception
      • class jml2b.exceptions.Jml2bException
        • class jml2b.exceptions.ClassLoadException
        • class jml2b.exceptions.LinkException
        • class jml2b.exceptions.ParseException
          • class jml2b.exceptions.TokenException
        • class jml2b.exceptions.TypeCheckException
      • class jml2b.exceptions.LanguageException
        • class jml2b.exceptions.TranslationException
      • class jml2b.exceptions.LoadException
      • class jml2b.exceptions.PogException
      • class jml2b.exceptions.WrongLabelException
  • class jack.plugin.ToolbarButton (implements org.eclipse.ui.IWorkbenchWindowActionDelegate)
    • class jack.plugin.compile.CompileButton
    • class jack.plugin.edit.EditButton
  • class jpov.viewer.tree.TreeContentProvider (implements org.eclipse.jface.viewers.ITreeContentProvider)
  • class jpov.viewer.tree.TreeFilterConfiguration
  • class jpov.viewer.tree.TreeItemSelection (implements org.eclipse.jface.viewers.ISelectionChangedListener)
  • class jpov.structure.TreeObject
    • class jpov.structure.Class
    • class jpov.structure.Goal
    • class jpov.structure.JmlFile (implements jml2b.structure.java.IJmlFile)
    • class jpov.structure.Lemma
    • class jpov.structure.LemmaHierarchy
    • class jpov.structure.Method
    • class jpov.structure.Proofs
      • class jpov.structure.StaticInitProofs
      • class jpov.structure.WellDefinedMethodProofs
      • class jpov.structure.WellDefInvProofs
  • class jpov.UniqString
  • class jml2b.util.UpdatedJmlFile
  • class jack.plugin.compile.VerifySourceAction (implements org.eclipse.ui.IObjectActionDelegate)
  • class org.eclipse.jface.viewers.Viewer (implements org.eclipse.jface.viewers.IInputSelectionProvider)
    • class org.eclipse.jface.viewers.ContentViewer
      • class org.eclipse.compare.contentmergeviewer.ContentMergeViewer (implements org.eclipse.compare.IPropertyChangeNotifier, org.eclipse.compare.internal.ISavable)
        • class org.eclipse.compare.contentmergeviewer.TextMergeViewer
          • class jack.plugin.source.JmlMergeViewer
  • class org.eclipse.jface.viewers.ViewerFilter
    • class jpov.viewer.tree.TreeFilter
  • class org.eclipse.jface.viewers.ViewerSorter
    • class jpov.viewer.lemma.LemmaSorter
    • class jpov.viewer.tree.TreeSorter
  • class jpov.structure.VirtualFormula
  • class org.eclipse.jface.window.Window
    • class org.eclipse.jface.dialogs.Dialog
      • class org.eclipse.jface.dialogs.IconAndMessageDialog
        • class org.eclipse.jface.dialogs.MessageDialog
          • class jack.plugin.compile.CompileMessageDialog
          • class jack.plugin.edit.SaveMessageDialog
          • class jack.plugin.ShouldGenerateImageDialog
      • class jack.plugin.ImageContentEditor
      • class jpov.viewer.lemma.LemmaFilterWindow
      • class jack.plugin.metrics.MetricsFilterWindow
      • class jpov.viewer.tree.TreeFilterWindow
  • class org.eclipse.jface.wizard.Wizard (implements org.eclipse.jface.wizard.IWizard)
    • class jack.plugin.source.AddJmlClauseWizard
  • class org.eclipse.ui.part.WorkbenchPart (implements org.eclipse.core.runtime.IExecutableExtension, org.eclipse.ui.IWorkbenchPart2)
    • class org.eclipse.ui.part.ViewPart (implements org.eclipse.ui.IViewPart)
      • class jack.plugin.perspective.CaseExplorer (implements jack.plugin.perspective.ICaseExplorer)
      • class jack.plugin.perspective.LemmaViewer (implements jack.plugin.perspective.ILemmaViewer)
      • class jack.plugin.metrics.MetricsView
      • class jack.plugin.prove.ProofView
      • class jack.plugin.perspective.SourceCaseViewer (implements jack.plugin.perspective.ISourceCaseViewer)

Interface Hierarchy

• interface org.eclipse.jface.action.IAction
  • interface jpov.IInteractiveProver
• interface jack.plugin.perspective.ICaseExplorer
• interface jml2b.pog.printers.IClassResolver
• interface jml2b.formula.IFormToken
  • interface jml2b.pog.substitution.Substitution
• interface jml2b.IJml2bConfiguration
• interface jml2b.structure.java.IJmlFile
• interface jml2b.languages.ILanguage
• interface jml2b.pog.lemma.ILemma
• interface jack.plugin.perspective.ILemmaViewer
• interface jml2b.structure.java.IModifiers
• interface jml2b.formula.IModifiesField
• interface jml2b.pog.IObviousProver
• interface jml2b.util.IOutputStream
• interface jml2b.pog.printers.IPrinter
• interface jml2b.pog.IProverStatus
• interface jack.plugin.perspective.ISourceCaseViewer
• interface jml2b.languages.ITranslatable
• interface jml2b.languages.ITranslationResult
• interface jml2b.structure.java.IType
• interface jml2b.link.Linkable
• interface jml2b.structure.java.ModFlags
• interface jml2b.structure.statement.MyToken
• interface jpov.substitution.Substitution
• interface jml2b.link.TypeCheckable
  • interface jml2b.structure.jml.JmlExpression