protected static class DefiniteAssignmentChecker.AssignmentStatus
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static DefiniteAssignmentChecker.AssignmentStatus |
ASS |
static DefiniteAssignmentChecker.AssignmentStatus |
ASS_UNASS |
boolean |
definitelyAssigned |
boolean |
definitelyUnassigned |
static DefiniteAssignmentChecker.AssignmentStatus |
NEITHER |
static DefiniteAssignmentChecker.AssignmentStatus |
UNASS |
Modifier | Constructor and Description |
---|---|
protected |
DefiniteAssignmentChecker.AssignmentStatus(boolean definitelyAssigned,
boolean definitelyUnassigned) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
static DefiniteAssignmentChecker.AssignmentStatus |
join(DefiniteAssignmentChecker.AssignmentStatus as1,
DefiniteAssignmentChecker.AssignmentStatus as2) |
java.lang.String |
toString() |
public static final DefiniteAssignmentChecker.AssignmentStatus ASS_UNASS
public static final DefiniteAssignmentChecker.AssignmentStatus ASS
public static final DefiniteAssignmentChecker.AssignmentStatus UNASS
public static final DefiniteAssignmentChecker.AssignmentStatus NEITHER
public final boolean definitelyAssigned
public final boolean definitelyUnassigned
protected DefiniteAssignmentChecker.AssignmentStatus(boolean definitelyAssigned, boolean definitelyUnassigned)
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public static DefiniteAssignmentChecker.AssignmentStatus join(DefiniteAssignmentChecker.AssignmentStatus as1, DefiniteAssignmentChecker.AssignmentStatus as2)