Package hydra.java.syntax
Class MethodInvocation
- java.lang.Object
-
- hydra.java.syntax.MethodInvocation
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Comparable<MethodInvocation>
public class MethodInvocation extends java.lang.Object implements java.io.Serializable, java.lang.Comparable<MethodInvocation>
- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description java.util.List<Expression>argumentsstatic NameARGUMENTSName of thehydra.java.syntax.MethodInvocation.argumentsfield.MethodInvocation_Headerheaderstatic NameHEADERName of thehydra.java.syntax.MethodInvocation.headerfield.static NameTYPE_Name of thehydra.java.syntax.MethodInvocationtype.
-
Constructor Summary
Constructors Constructor Description MethodInvocation(MethodInvocation_Header header, java.util.List<Expression> arguments)Constructs an immutableMethodInvocation.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description intcompareTo(MethodInvocation other)booleanequals(java.lang.Object other)inthashCode()MethodInvocationwithArguments(java.util.List<Expression> arguments)Returns a copy of thisMethodInvocationwithargumentsreplaced.MethodInvocationwithHeader(MethodInvocation_Header header)Returns a copy of thisMethodInvocationwithheaderreplaced.
-
-
-
Field Detail
-
TYPE_
public static final Name TYPE_
Name of thehydra.java.syntax.MethodInvocationtype.
-
HEADER
public static final Name HEADER
Name of thehydra.java.syntax.MethodInvocation.headerfield.
-
ARGUMENTS
public static final Name ARGUMENTS
Name of thehydra.java.syntax.MethodInvocation.argumentsfield.
-
header
public final MethodInvocation_Header header
-
arguments
public final java.util.List<Expression> arguments
-
-
Constructor Detail
-
MethodInvocation
public MethodInvocation(MethodInvocation_Header header, java.util.List<Expression> arguments)
Constructs an immutableMethodInvocation.
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
compareTo
public int compareTo(MethodInvocation other)
- Specified by:
compareToin interfacejava.lang.Comparable<MethodInvocation>
-
withHeader
public MethodInvocation withHeader(MethodInvocation_Header header)
Returns a copy of thisMethodInvocationwithheaderreplaced.
-
withArguments
public MethodInvocation withArguments(java.util.List<Expression> arguments)
Returns a copy of thisMethodInvocationwithargumentsreplaced.
-
-