de.uka.ilkd.key.logic.sort

Interfaces

• Sort

Classes

• AbstractSort
• ArraySort
• ArraySort.SortKey
• GenericSort
• NullSort
• ProgramSVSort
• ProgramSVSort.ArrayInitializerSVSort
• ProgramSVSort.ArrayLengthSort
• ProgramSVSort.ArrayPostDeclarationSort
• ProgramSVSort.CatchSort
• ProgramSVSort.ConstantProgramVariableSort
• ProgramSVSort.ExecutionContextSort
• ProgramSVSort.ExpressionSort
• ProgramSVSort.ExpressionSpecialPrimitiveTypeSort
• ProgramSVSort.ForLoopSort
• ProgramSVSort.ForUpdatesSort
• ProgramSVSort.GuardSort
• ProgramSVSort.LabelSort
• ProgramSVSort.LeftHandSideSort
• ProgramSVSort.LocalVariableSort
• ProgramSVSort.LoopInitSort
• ProgramSVSort.MetaClassReferenceSort
• ProgramSVSort.MethodBodySort
• ProgramSVSort.MethodNameSort
• ProgramSVSort.MultipleVariableDeclarationSort
• ProgramSVSort.NewArraySVSort
• ProgramSVSort.NonModelMethodBodySort
• ProgramSVSort.NonSimpleExpressionNoClassReferenceSort
• ProgramSVSort.NonSimpleExpressionSort
• ProgramSVSort.NonSimpleMethodReferenceSort
• ProgramSVSort.NonSimpleNewSVSort
• ProgramSVSort.NonStringLiteralSort
• ProgramSVSort.ProgramMethodSort
• ProgramSVSort.ProgramVariableSort
• ProgramSVSort.SimpleExpressionNonStringObjectSort
• ProgramSVSort.SimpleExpressionSort
• ProgramSVSort.SimpleExpressionSpecialPrimitiveTypeSort
• ProgramSVSort.SimpleExpressionStringSort
• ProgramSVSort.SimpleNewSVSort
• ProgramSVSort.SpecialConstructorReferenceSort
• ProgramSVSort.StatementSort
• ProgramSVSort.StaticVariableSort
• ProgramSVSort.StringLiteralSort
• ProgramSVSort.SwitchSVSort
• ProgramSVSort.TypeReferenceNotPrimitiveSort
• ProgramSVSort.TypeReferenceSort
• ProxySort
• SortImpl

Exceptions

• GenericSupersortException