public final class SecurityLattice.SecurityDomain
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
int |
hashCode() |
boolean |
isSubDomain(SecurityLattice.SecurityDomain other)
Returns whether this domain is strictly lower in the hierarchy than the other one.
|
boolean |
isSuperDomain(SecurityLattice.SecurityDomain other)
Returns whether this domain is strictly higher in the hierarchy than the other one.
|
java.lang.String |
toString() |
public boolean isSuperDomain(SecurityLattice.SecurityDomain other)
public boolean isSubDomain(SecurityLattice.SecurityDomain other)
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.