CallableDeclaration
constructor(tokenRange: TokenRange, modifiers: NodeList<Modifier>, annotations: NodeList<AnnotationExpr>, typeParameters: NodeList<TypeParameter>, name: SimpleName, parameters: NodeList<Parameter>, thrownExceptions: NodeList<ReferenceType>, receiverParameter: ReceiverParameter, contracts: NodeList<JmlContract>)(source)
This constructor is used by the parser and is considered private.