de.uka.ilkd.key.util.rifl
Interfaces
SpecificationContainer
Classes
DefaultSpecificationContainer
RIFLTransformer
SecurityLattice
SimpleRIFLExceptionHandler
SpecificationEntity
SpecificationEntity.Field
SpecificationEntity.Parameter
SpecificationEntity.ReturnValue
SpecificationInjector