| de.uka.ilkd.key.java.recoderext.PassiveExpression
PassiveExpression | public class PassiveExpression extends ParenthesizedExpression (Code) | | |
PassiveExpression | public PassiveExpression()(Code) | | creates a newly generated passive expression
|
PassiveExpression | public PassiveExpression(Expression e)(Code) | | creates a newly generated passive expression
|
|
|