Package | Description |
---|---|
de.uka.ilkd.key.speclang.jml.translation | |
de.uka.ilkd.key.speclang.translation |
Modifier and Type | Method and Description |
---|---|
protected SLExpression |
JMLBuiltInPropertyResolver.doResolving(SLExpression receiver,
java.lang.String name,
SLParameters parameters) |
Modifier and Type | Method and Description |
---|---|
protected SLExpression |
SLMethodResolver.doResolving(SLExpression receiver,
java.lang.String methodName,
SLParameters parameters) |
protected SLExpression |
SLAttributeResolver.doResolving(SLExpression receiver,
java.lang.String name,
SLParameters parameters) |
protected SLExpression |
SLTypeResolver.doResolving(SLExpression receiver,
java.lang.String name,
SLParameters parameters) |
protected abstract SLExpression |
SLExpressionResolver.doResolving(SLExpression receiver,
java.lang.String name,
SLParameters parameters)
Resolves property calls on explicit receivers.
|
SLExpression |
SLResolverManager.resolve(SLExpression receiver,
java.lang.String name,
SLParameters parameters)
Resolves arbitrary property calls.
|
SLExpression |
SLExpressionResolver.resolve(SLExpression receiver,
java.lang.String name,
SLParameters parameters) |
Copyright © 2003-2019 The KeY-Project.