Package hydra.python.syntax
Class Power
- java.lang.Object
-
- hydra.python.syntax.Power
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Comparable<Power>
public class Power extends java.lang.Object implements java.io.Serializable, java.lang.Comparable<Power>
- See Also:
- Serialized Form
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classPower.BuilderA fluent builder forPower.
-
Constructor Summary
Constructors Constructor Description Power(AwaitPrimary lhs, Optional<Factor> rhs)Constructs an immutablePower.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static Power.Builderbuilder()Creates a new fluent builder forPower.intcompareTo(Power other)booleanequals(java.lang.Object other)inthashCode()java.lang.StringtoString()PowerwithLhs(AwaitPrimary lhs)Returns a copy of thisPowerwithlhsreplaced.PowerwithRhs(Optional<Factor> rhs)Returns a copy of thisPowerwithrhsreplaced.
-
-
-
Field Detail
-
TYPE_
public static final Name TYPE_
Name of thehydra.python.syntax.Powertype.
-
LHS
public static final Name LHS
Name of thehydra.python.syntax.Power.lhsfield.
-
RHS
public static final Name RHS
Name of thehydra.python.syntax.Power.rhsfield.
-
lhs
public final AwaitPrimary lhs
-
-
Constructor Detail
-
Power
public Power(AwaitPrimary lhs, Optional<Factor> rhs)
Constructs an immutablePower.
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
compareTo
public int compareTo(Power other)
- Specified by:
compareToin interfacejava.lang.Comparable<Power>
-
withLhs
public Power withLhs(AwaitPrimary lhs)
Returns a copy of thisPowerwithlhsreplaced.
-
builder
public static Power.Builder builder()
Creates a new fluent builder forPower.
-
-