A
- argument typeR
- return typepublic interface SMTHandlerPropertyVisitor<A,R>
SMTHandlerProperty
objects.Modifier and Type | Method and Description |
---|---|
R |
visit(SMTHandlerProperty.BooleanProperty booleanProp,
A arg) |
R |
visit(SMTHandlerProperty.EnumProperty<?> enumProp,
A arg) |
R |
visit(SMTHandlerProperty.IntegerProperty integerProp,
A arg) |
R |
visit(SMTHandlerProperty.StringProperty stringProp,
A arg) |
R visit(SMTHandlerProperty.EnumProperty<?> enumProp, A arg)
R visit(SMTHandlerProperty.IntegerProperty integerProp, A arg)
R visit(SMTHandlerProperty.BooleanProperty booleanProp, A arg)
R visit(SMTHandlerProperty.StringProperty stringProp, A arg)
Copyright © 2003-2019 The KeY-Project.