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