JmlMethodSignature

constructor(tokenRange: TokenRange, receiver: Type, name: SimpleName, argumentTypes: NodeList<Type>)(source)

This constructor is used by the parser and is considered private.