dk.brics.jwig.analysis.xact

Class JWIGConfiguration

java.lang.Object

dk.brics.xact.analysis.config.StandardConfiguration

dk.brics.jwig.analysis.xact.JWIGConfiguration

All Implemented Interfaces:

Configuration

public class JWIGConfiguration
extends StandardConfiguration

Configues XACT to analyze JWIG classes.

Author:

Asger

Constructor Summary

Constructors

Constructor and Description
JWIGConfiguration()

Method Summary

Methods

Modifier and Type	Method and Description
Collection<URL>	getAdditionalSchemas()
String	getMethodReturnType(soot.SootMethod method, String annotation)
boolean	isExternallyCallable(soot.SootMethod method)
void	modifyNamespaces(Map<String,String> namespaces)
dk.brics.automaton.Automaton	resolveToString(soot.SootClass clazz)

Methods inherited from class dk.brics.xact.analysis.config.StandardConfiguration

canCallExtern, getBasedir, getExecutorService, getFieldType, getHotspots, getMethodParameterType, hasExternalSubtypes, isNormalCollection, resolveToXML, setBasedir, translateSchemaLocation

Methods inherited from class java.lang.Object

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

Constructor Detail

JWIGConfiguration

public JWIGConfiguration()

Method Detail

getAdditionalSchemas

public Collection<URL> getAdditionalSchemas()

Specified by:

getAdditionalSchemas in interface Configuration

Overrides:

getAdditionalSchemas in class StandardConfiguration

getMethodReturnType

public String getMethodReturnType(soot.SootMethod method,
                         String annotation)

Specified by:

getMethodReturnType in interface Configuration

Overrides:

getMethodReturnType in class StandardConfiguration

isExternallyCallable

public boolean isExternallyCallable(soot.SootMethod method)

Specified by:

isExternallyCallable in interface Configuration

Overrides:

isExternallyCallable in class StandardConfiguration

modifyNamespaces

public void modifyNamespaces(Map<String,String> namespaces)

Specified by:

modifyNamespaces in interface Configuration

Overrides:

modifyNamespaces in class StandardConfiguration

resolveToString

public dk.brics.automaton.Automaton resolveToString(soot.SootClass clazz)

Specified by:

resolveToString in interface Configuration

Overrides:

resolveToString in class StandardConfiguration