Package | Description |
---|---|
de.uka.ilkd.key.speclang.jml.translation | |
de.uka.ilkd.key.speclang.translation |
Modifier and Type | Class and Description |
---|---|
class |
JMLBuiltInPropertyResolver
Resolver for built-in JML operators.
|
Modifier and Type | Class and Description |
---|---|
class |
SLAttributeResolver
Resolver for attributes (i.e., fields).
|
class |
SLMethodResolver
Resolver for method calls in specifications.
|
class |
SLTypeResolver
Resolves types occurring explicitly in specification expressions
(e.g.
|
Modifier and Type | Method and Description |
---|---|
protected void |
SLResolverManager.addResolver(SLExpressionResolver resolver) |
Copyright © 2003-2019 The KeY-Project.