Uses of Class
de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisSource

Packages that use AliasAnalysisSource

de.unisaarland.cs.st.jerify.verifier.alias	Provides classes to handle the alias analysis.
de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias	Provides classes which are nodes which form the aliasing analysis part of the control flow graph.

Uses of AliasAnalysisSource in de.unisaarland.cs.st.jerify.verifier.alias

Subclasses of AliasAnalysisSource in de.unisaarland.cs.st.jerify.verifier.alias

class	AliasAnalysisSourceFixed Represents all Sources which are create by a "new class();" like part of the code.
class	AliasAnalysisSourceNew Represents all Sources which are create by a "new class();" like part of the code.
class	AliasAnalysisSourceVar Represents all Sources which are uses of an variable.

Method parameters in de.unisaarland.cs.st.jerify.verifier.alias with type arguments of type AliasAnalysisSource

void	AliasAnalysisVarHandle.updateIDs(java.util.Set<AliasAnalysisSource> assignment) Update the aliasIDs the variable is aliased to.
java.lang.Void	AliasAnalysisExpressionVisitor.visitArrayAccess(com.sun.source.tree.ArrayAccessTree node, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitIdentifier(com.sun.source.tree.IdentifierTree id, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitLiteral(com.sun.source.tree.LiteralTree node, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitMemberSelect(com.sun.source.tree.MemberSelectTree node, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitMethodInvocation(com.sun.source.tree.MethodInvocationTree node, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitNewArray(com.sun.source.tree.NewArrayTree node, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitNewClass(com.sun.source.tree.NewClassTree node, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitTypeCast(com.sun.source.tree.TypeCastTree arg0, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)

Uses of AliasAnalysisSource in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias

Constructor parameters in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias with type arguments of type AliasAnalysisSource

TSAliasAnalysisAssignmentFlowNode(AliasAnalysisVarHandle var, java.util.Set<AliasAnalysisSource> assignment)
Create a new FlowNode that updates the variable var with the alias informations it gets from the alias sources