conformance

Annotation Type PortedFrom

@Documented
 @Retention(value=RUNTIME)
public @interface PortedFrom

Mark a field, method, method argument or type with the original file and original name in FaCT++.

Author:

ignazio

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String	file the file with the definition.
String	name the original name.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String	argumentFor optional method name, for method arguments.

Element Detail

file

public abstract String file

the file with the definition.

Returns:

file

name

public abstract String name

the original name.

Returns:

name

argumentFor

public abstract String argumentFor

optional method name, for method arguments.

Returns:

argument

Default:

""