dk.brics.tajs.analysis

Class PartialHostModels

java.lang.Object

dk.brics.tajs.analysis.PartialHostModels

All Implemented Interfaces:

HostObject

public class PartialHostModels
extends java.lang.Object
implements HostObject

Partially modeled host APIs.

Used for being explicit about models of host APIs that are still unsound. Especially useful for autogenerated models.

Current implementation features:

• Partially modeled functions will cause an AnalysisLimitationException.AnalysisModelLimitationException when invoked.
• Accessing definitely absent properties of Partial objects will give a special warning in Monitoring

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	identifier

Constructor Summary

Constructors

Constructor and Description
PartialHostModels(java.lang.String identifier)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

identifier

public final java.lang.String identifier

Constructor Detail

PartialHostModels

public PartialHostModels(java.lang.String identifier)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getAPI

public HostAPI getAPI()

Description copied from interface: HostObject

Returns the API descriptor that this host object belongs to.

Specified by:

getAPI in interface HostObject

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object