Uses of Class
cdc.args.Necessity

Uses of Necessity in cdc.args

Methods in cdc.args that return Necessity

Modifier and Type	Method	Description
Necessity	FormalArg.getNecessity()
static Necessity	Necessity.valueOf(String name)	Returns the enum constant of this type with the specified name.
static Necessity[]	Necessity.values()	Returns an array containing the constants of this enum type, in the order they are declared.

Methods in cdc.args with parameters of type Necessity

Modifier and Type	Method	Description
FormalArgs.Builder	FormalArgs.Builder.add(String name, Class<?> type, Necessity necessity)
FormalArgs	FormalArgs.getArgs(Necessity necessity)	Returns the arguments that match a necessity.
boolean	FormalArgs.hasArgs(Necessity necessity)	Returns true if this tuple of formal arguments contains at least one argument whose necessity matches a necessity.
boolean	FormalArg.hasWeakerNecessity(Necessity other)	Returns true if the necessity of this formal argument is weaker than (or equal to) another necessity.
boolean	Necessity.isWeakerThan(Necessity other)	Returns true if this necessity is weaker than (or equal to) another one.
static FormalArg<?>	FormalArg.merge(FormalArg<?> farg1, FormalArg<?> farg2, Necessity privileged)	Merges 2 formal arguments.
FormalArg.Builder<T>	FormalArg.Builder.necessity(Necessity necessity)

Constructors in cdc.args with parameters of type Necessity

Constructor	Description
ArrayFormalArg(String name, Class<E> elementType, Necessity necessity)	Creates an array formal argument.
CompositeFormalArg(String name, Class<C> type, Class<E> elementType, Necessity necessity)
FormalArg(String name, Class<T> type, Necessity necessity)	Creates a formal argument.
ListFormalArg(String name, Class<E> elementType, Necessity necessity)	Creates a list formal argument.
MapFormalArg(String name, Class<K> keyType, Class<V> valueType, Necessity necessity)	Creates a map formal argument.
SetFormalArg(String name, Class<E> elementType, Necessity necessity)	Creates a set formal argument.