Object
- VarInfoName
- - FunctionOfN

All Implemented Interfaces:

Serializable, Comparable<VarInfoName>

Direct Known Subclasses:

VarInfoName.Intersection, VarInfoName.Union

Enclosing class:

VarInfoName
```
@Interned
public static class VarInfoName.FunctionOfN
extends VarInfoName
```
A function of multiple parameters.

See Also:

Serialized Form

Nested Class Summary
- Nested classes/interfaces inherited from class VarInfoName
  VarInfoName.AbstractVisitor<T>, VarInfoName.Add, VarInfoName.BooleanAndVisitor, VarInfoName.Elements, VarInfoName.ElementsFinder, VarInfoName.Field, VarInfoName.Finder, VarInfoName.FunctionOf, VarInfoName.FunctionOfN, VarInfoName.InorderFlattener, VarInfoName.Intersection, VarInfoName.IsAllNonPoststateVisitor, VarInfoName.IsAllPrestateVisitor, VarInfoName.LexicalComparator, VarInfoName.NodeFinder, VarInfoName.NoReturnValue, VarInfoName.PostPreConverter, VarInfoName.Poststate, VarInfoName.Prestate, VarInfoName.QuantHelper, VarInfoName.QuantifierVisitor, VarInfoName.Replacer, VarInfoName.Simple, VarInfoName.SimpleNamesVisitor, VarInfoName.SizeOf, VarInfoName.Slice, VarInfoName.Subscript, VarInfoName.Transformer, VarInfoName.TypeOf, VarInfoName.Union, VarInfoName.Visitor<T>

Field Summary

Fields
Modifier and Type Field Description

List<VarInfoName> args
The parameters.

String function
The function being invoked.
- Fields inherited from class VarInfoName
  debug, dkconfig_direct_orig, IDENTITY_TRANSFORMER, ORIG_THIS, testCall, THIS, ZERO

Constructor Summary

Constructors
Constructor Description

FunctionOfN(String function, List<VarInfoName> args)
Construct a new function of multiple arguments.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<T> T`	`accept(VarInfoName.Visitor<T> v)`	Accept the actions of a visitor.
`protected String`	`dbc_name_impl(VarInfo v)`	Return the name in the DBC style output format.
`protected String`	`esc_name_impl()`	Returns the String representation of this name in the ESC style output format.
`VarInfoName`	`getArg(int n)`	Shortcut getter to avoid repeated type casting.
`protected String`	`identifier_name_impl()`	Returns the name using only letters, numbers, and underscores.
`protected String`	`java_family_name_impl(OutputFormat format, VarInfo v)`
`protected String`	`java_name_impl(VarInfo v)`	Return the String representation of this name in java format.
`protected String`	`jml_name_impl(VarInfo v)`	Returns the name in JML style output format.
`protected String`	`name_impl()`	Returns the String representation of this name in the default output format.
`protected String`	`repr_impl()`	Returns the name in a verbose debugging format.
`protected String`	`simplify_name_impl(boolean prestate)`	Returns the String representation of this name in the simplify output format in either prestate or poststate context.

Methods inherited from class Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - function
```
public final String function
```
    The function being invoked.
  - args
```
public final List<VarInfoName> args
```
    The parameters.
- Constructor Detail
  - FunctionOfN
```
public FunctionOfN(String function,
                   List<VarInfoName> args)
```
    Construct a new function of multiple arguments.
    
    Parameters:
    
    function - the name of the function
    
    args - the arguments to the function, of type VarInfoName
- Method Detail
  - repr_impl
```
protected String repr_impl(@GuardSatisfied @UnknownSignedness VarInfoName.FunctionOfN this)
```
    Description copied from class: VarInfoName
    
    Returns the name in a verbose debugging format. Cached by VarInfoName.repr().
    
    Specified by:
    
    repr_impl in class VarInfoName
    
    Returns:
    
    the name in a verbose debugging format
  - name_impl
```
protected String name_impl(@GuardSatisfied VarInfoName.FunctionOfN this)
```
    Description copied from class: VarInfoName
    
    Returns the String representation of this name in the default output format. Result is not interned; the client (name()) does so, then caches the interned value.
    
    Specified by:
    
    name_impl in class VarInfoName
  - esc_name_impl
```
protected String esc_name_impl()
```
    Description copied from class: VarInfoName
    
    Returns the String representation of this name in the ESC style output format. Cached by VarInfoName.esc_name().
    
    Specified by:
    
    esc_name_impl in class VarInfoName
  - simplify_name_impl
```
protected String simplify_name_impl(boolean prestate)
```
    Description copied from class: VarInfoName
    
    Returns the String representation of this name in the simplify output format in either prestate or poststate context.
    
    Specified by:
    
    simplify_name_impl in class VarInfoName
  - java_name_impl
```
protected String java_name_impl(VarInfo v)
```
    Description copied from class: VarInfoName
    
    Return the String representation of this name in java format. Cached and interned by VarInfoName.java_name(daikon.VarInfo).
    
    Specified by:
    
    java_name_impl in class VarInfoName
  - jml_name_impl
```
protected String jml_name_impl(VarInfo v)
```
    Description copied from class: VarInfoName
    
    Returns the name in JML style output format. Cached and interned by VarInfoName.jml_name(daikon.VarInfo).
    
    Specified by:
    
    jml_name_impl in class VarInfoName
  - dbc_name_impl
```
protected String dbc_name_impl(VarInfo v)
```
    Description copied from class: VarInfoName
    
    Return the name in the DBC style output format. If v is null, uses JML style instead. Cached and interned by VarInfoName.dbc_name(daikon.VarInfo).
    
    Specified by:
    
    dbc_name_impl in class VarInfoName
  - java_family_name_impl
```
protected String java_family_name_impl(OutputFormat format,
                                       VarInfo v)
```
  - identifier_name_impl
```
protected String identifier_name_impl()
```
    Description copied from class: VarInfoName
    
    Returns the name using only letters, numbers, and underscores. Cached and interned by VarInfoName.identifier_name().
    
    Specified by:
    
    identifier_name_impl in class VarInfoName
    
    Returns:
    
    the name using only letters, numbers, and underscores
  - getArg
```
public VarInfoName getArg(int n)
```
    Shortcut getter to avoid repeated type casting.
  - accept
```
public <T> T accept(VarInfoName.Visitor<T> v)
```
    Description copied from class: VarInfoName
    
    Accept the actions of a visitor.
    
    Specified by:
    
    accept in class VarInfoName

Class VarInfoName.FunctionOfN

Nested Class Summary

Nested classes/interfaces inherited from class VarInfoName

Field Summary

Fields inherited from class VarInfoName

Constructor Summary

Method Summary

Methods inherited from class VarInfoName

Methods inherited from class Object

Field Detail

function

args

Constructor Detail

FunctionOfN

Method Detail

repr_impl

name_impl

esc_name_impl

simplify_name_impl

java_name_impl

jml_name_impl

dbc_name_impl

java_family_name_impl

identifier_name_impl

getArg

accept

Modifier and Type	Field	Description
`List<VarInfoName>`	`args`	The parameters.
`String`	`function`	The function being invoked.