com.oracle.graal.pointsto.constraints

Class UnsupportedFeatures

java.lang.Object

com.oracle.graal.pointsto.constraints.UnsupportedFeatures

public class UnsupportedFeatures
extends Object

Constructor Summary

Constructors

Constructor and Description
UnsupportedFeatures()

Method Summary

Modifier and Type	Method and Description
void	addMessage(String key, AnalysisMethod method, String message)
void	addMessage(String key, AnalysisMethod method, String message, String trace)
void	addMessage(String key, AnalysisMethod method, String message, String trace, Throwable originalException)
boolean	exist()
void	report(BigBang bb) Report the unsupported features.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UnsupportedFeatures

public UnsupportedFeatures()

Method Detail

addMessage

public void addMessage(String key,
                       AnalysisMethod method,
                       String message)

addMessage

public void addMessage(String key,
                       AnalysisMethod method,
                       String message,
                       String trace)

addMessage

public void addMessage(String key,
                       AnalysisMethod method,
                       String message,
                       String trace,
                       Throwable originalException)

Parameters:

originalException - The exception that originally caused this unsupported feature.

report

public void report(BigBang bb)

Report the unsupported features. Throws UnsupportedFeatureException if unsupported features are found.

Parameters:

bb - the bigbang object

Throws:

UnsupportedFeatureException - if unsupported features are found

exist

public boolean exist()