Package soot.JastAddJ

Class Constraints

java.lang.Object

soot.JastAddJ.Constraints

public class Constraints
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
boolean	rawAccess

Constructor Summary

Constructors

Constructor	Description
Constraints()

Method Summary

Modifier and Type	Method	Description
void	addEqualConstraint(TypeDecl T, TypeDecl A)
static void	addParameterizedSupertypes(TypeDecl t, HashSet processed, HashSet result)
void	addSubtypeConstraint(TypeDecl T, TypeDecl A)
void	addSupertypeConstraint(TypeDecl T, TypeDecl A)
void	addTypeVariable(TypeVariable T)
void	constraintEqual(TypeDecl A, TypeDecl F)
void	convertibleFrom(TypeDecl A, TypeDecl F)
void	convertibleTo(TypeDecl A, TypeDecl F)
static HashSet	directSupertypes(TypeDecl t)
static HashSet	parameterizedSupertypes(TypeDecl t)
void	printConstraints()
void	replaceAllConstraints(TypeDecl before, TypeDecl after)
void	replaceEqualityConstraints(TypeDecl before, TypeDecl after)
void	resolveBounds()
void	resolveEqualityConstraints()
void	resolveSubtypeConstraints()
void	resolveSupertypeConstraints()
Collection	typeArguments()
boolean	unresolvedTypeArguments()

Methods inherited from class java.lang.Object

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

Field Detail

rawAccess

public boolean rawAccess

Constructor Detail

Constraints

public Constraints()

Method Detail

addTypeVariable

public void addTypeVariable(TypeVariable T)

unresolvedTypeArguments

public boolean unresolvedTypeArguments()

printConstraints

public void printConstraints()

resolveBounds

public void resolveBounds()

resolveEqualityConstraints

public void resolveEqualityConstraints()

replaceEqualityConstraints

public void replaceEqualityConstraints(TypeDecl before,
                                       TypeDecl after)

replaceAllConstraints

public void replaceAllConstraints(TypeDecl before,
                                  TypeDecl after)

resolveSubtypeConstraints

public void resolveSubtypeConstraints()

resolveSupertypeConstraints

public void resolveSupertypeConstraints()

directSupertypes

public static HashSet directSupertypes(TypeDecl t)

parameterizedSupertypes

public static HashSet parameterizedSupertypes(TypeDecl t)

addParameterizedSupertypes

public static void addParameterizedSupertypes(TypeDecl t,
                                              HashSet processed,
                                              HashSet result)

typeArguments

public Collection typeArguments()

addSupertypeConstraint

public void addSupertypeConstraint(TypeDecl T,
                                   TypeDecl A)

addSubtypeConstraint

public void addSubtypeConstraint(TypeDecl T,
                                 TypeDecl A)

addEqualConstraint

public void addEqualConstraint(TypeDecl T,
                               TypeDecl A)

convertibleTo

public void convertibleTo(TypeDecl A,
                          TypeDecl F)

convertibleFrom

public void convertibleFrom(TypeDecl A,
                            TypeDecl F)

constraintEqual

public void constraintEqual(TypeDecl A,
                            TypeDecl F)