public class Extension extends Object
Operator
-Objekte.protected Operator operator
Operator
, der diese Erweiterung hält.public Extension(Operator operator)
operator
- Der Operator
, der diese Erweiterung hält.public Operator getOperator()
Operator
dieser Erweiterung zurück.Operator
.