de.uka.ilkd.key.util.rifl

Interfaces

• SpecificationContainer

Classes

• DefaultSpecificationContainer
• RIFLHandler
• RIFLHandler.ErrorHandler
• RIFLTransformer
• SecurityLattice
• SimpleRIFLExceptionHandler
• SpecificationEntity
• SpecificationEntity.Field
• SpecificationEntity.Parameter
• SpecificationEntity.ReturnValue
• SpecificationInjector
• SpecificationInjector.JMLFactory

Enums

• SpecificationEntity.Type