ConstructorDeclaration

constructor()(source)
constructor(name: String)(source)
constructor(modifiers: NodeList<Modifier>, name: String)(source)
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.