## §A.5 Statements

§ A.5.1 | Statement ... Within BaseCall TSuperCall

§ A.5.2 | Within within ( Expression ) Statement

§ A.5.3 | BaseCall base . Identifier ( Argumentsopt ) base ( Argumentsopt )

§ A.5.4 | TSuperCall tsuper . Identifier ( Argumentsopt ) tsuper ( Argumentsopt )

##### Contextual constraints:

1. The expression of a `Within` must evaluate to an instance of a team class.
2. The first form of a `BaseCall` may occur only in the body of a method that has the `callin` modifier. The identifier must be the name of the enclosing method.
3. The second form of a `BaseCall` may occur only in a constructor of a bound role class.
4. The first form of a `TSuperCall` may occur only in a method of a role class.
5. The second form of a `TSuperCall` may occur only in a constructor of a role class.