Uses of Interface
dev.civl.abc.ast.entity.IF.Function

Packages that use Function

Package	Description
dev.civl.abc.analysis.pointsTo.IF
dev.civl.abc.ast.entity.IF	Submodule ast.entity defines entities (objects of type Entity), the abstract things such as types, structures, unions, enumerations, objects (variables), functions, and so on, which can be named by identifiers in a program.
dev.civl.abc.ast.IF	Module ast defines an Abstract Syntax Tree representation of a program, the AST.
dev.civl.abc.ast.node.IF.declaration	The ast.node.declaration submodule defines nodes and other object deadling with declarations in a program.
dev.civl.abc.ast.node.IF.label	The ast.node.label submodule defines AST nodes for representing labels in a program, including ordinary labels, and the case and default labels used in switch statements.
dev.civl.abc.ast.value.IF	The ast.value submodule defines classes for representing constant values that can occur in a program, such as numeric literals, characters, strings, pointer constants, and so on.

Uses of Function in dev.civl.abc.analysis.pointsTo.IF

Methods in dev.civl.abc.analysis.pointsTo.IF that return Function

Modifier and Type	Method	Description
Function	InvocationGraphNode.function()

Methods in dev.civl.abc.analysis.pointsTo.IF with parameters of type Function

Modifier and Type	Method	Description
InsensitiveFlow	FlowInsensePointsToAnalyzer.insensitiveFlow(Function func)
InsensitiveFlow	InsensitiveFlowFactory.InsensitiveFlow(Function function, InvocationGraphNode igNode)	Creates a new InsensitiveFlow of the function body for a call instance of a function.
List<AssignExprIF>	FlowInsensePointsToAnalyzer.mayPointsTo(Function func, AssignExprIF ptr)	Returns the points-to set of the given AssignExprIF, which is an abstraction of an object.
List<AssignExprIF>	FlowInsensePointsToAnalyzer.mayPointsTo(Function func, Entity[] designations)	Returns the points-to set of the given program object represented by a list of designations
InvocationGraphNode	InvocationGraphNodeFactory.newNode(Function function, InvocationGraphNode parent, AssignExprIF returnTo, AssignExprIF... actualParams)	creates a new invocation graph node

Uses of Function in dev.civl.abc.ast.entity.IF

Methods in dev.civl.abc.ast.entity.IF that return Function

Modifier and Type	Method	Description
Function	Scope.getFunction(int index)	The functions in this scope are assigned ID numbers 0, 1, 2, ..., at completion time.
Function	EntityFactory.newFunction(String name, ProgramEntity.LinkageKind linkage, Type type)	Creates a new Function.

Methods in dev.civl.abc.ast.entity.IF that return types with arguments of type Function

Modifier and Type	Method	Description
Set<Function>	Function.getCallees()	Returns the set of functions called by this function either by name or through a pointer dereference (the latter is relation is safely overapproximated).
Set<Function>	Function.getCallers()	Returns the set of functions that call this function either by name or through a pointer dereference (the latter is relation is safely overapproximated).
Iterable<Function>	Scope.getFunctions()	Returns an iterator over the functions defined in this scope, in order of increasing function index.

Uses of Function in dev.civl.abc.ast.IF

Methods in dev.civl.abc.ast.IF that return Function

Modifier and Type	Method	Description
Function	AST.getMain()	Returns the entity for the main function.

Methods in dev.civl.abc.ast.IF with parameters of type Function

Modifier and Type	Method	Description
void	AST.setMain(Function f)

Uses of Function in dev.civl.abc.ast.node.IF.declaration

Methods in dev.civl.abc.ast.node.IF.declaration that return Function

Modifier and Type	Method	Description
Function	FunctionDeclarationNode.getEntity()

Uses of Function in dev.civl.abc.ast.node.IF.label

Methods in dev.civl.abc.ast.node.IF.label that return Function

Modifier and Type	Method	Description
Function	OrdinaryLabelNode.getFunction()	The function in which this label occurs.

Methods in dev.civl.abc.ast.node.IF.label with parameters of type Function

Modifier and Type	Method	Description
void	OrdinaryLabelNode.setFunction(Function function)	Sets the value returned by OrdinaryLabelNode.getFunction().

Uses of Function in dev.civl.abc.ast.value.IF

Methods in dev.civl.abc.ast.value.IF that return Function

Modifier and Type	Method	Description
Function	FunctionReference.getFunction()