§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.