public class PartialHostModels extends java.lang.Object implements HostObject
Used for being explicit about models of host APIs that are still unsound. Especially useful for autogenerated models.
Current implementation features:
AnalysisLimitationException.AnalysisModelLimitationException
when invoked.Monitoring
Modifier and Type | Field and Description |
---|---|
java.lang.String |
identifier |
Constructor and Description |
---|
PartialHostModels(java.lang.String identifier) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
HostAPI |
getAPI()
Returns the API descriptor that this host object belongs to.
|
int |
hashCode() |
java.lang.String |
toString() |
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public HostAPI getAPI()
HostObject
getAPI
in interface HostObject
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2009-2019 Aarhus University