Uses of Interface
dev.civl.mc.model.IF.Scope

Packages that use Scope

Package	Description
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
dev.civl.mc.model.IF.contract
dev.civl.mc.model.IF.expression	Submodule model.expression defines expression in CIVL.
dev.civl.mc.model.IF.location	Submodule model.location defines a location in the control flow graph of CIVL.
dev.civl.mc.model.IF.statement	Submodule model.statement defines a statement of a CIVL-C program.
dev.civl.mc.model.IF.type	Submodule model.type defines types in CIVL.
dev.civl.mc.model.IF.variable	Submodule model.variable defines variables in CIVL.
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.
dev.civl.mc.state.IF	Module state is responsible for the creation and manipulation of states of a CIVL model.

Uses of Scope in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF that return Scope

Modifier and Type	Method	Description
Scope	CIVLFunction.containingScope()
Scope	ModelFactory.leastCommonAncestor(Scope s0, Scope s1)
Scope	CIVLFunction.outerScope()
Scope	Scope.parent()
Scope	ModelFactory.scope(CIVLSource source, Scope parent, List<Variable> variables, CIVLFunction function)	Create a new scope.
Scope	Model.staticConstantScope()	returns the scope for constants
Scope	ModelFactory.staticConstantScope()	returns the static scope for constants

Methods in dev.civl.mc.model.IF that return types with arguments of type Scope

Modifier and Type	Method	Description
Set<Scope>	Scope.children()
Set<Scope>	CIVLFunction.scopes()

Methods in dev.civl.mc.model.IF with parameters of type Scope

Modifier and Type	Method	Description
AbstractFunction	ModelFactory.abstractFunction(CIVLSource source, Identifier name, Scope parameterScope, List<Variable> parameters, CIVLType returnType, Scope containingScope, int continuity, String attribute)	Generate an abstract function.
Fragment	AccuracyAssumptionBuilder.accuracyAssumptions(Expression assumption, Scope scope)	Analyze an assumption.
void	Scope.addChild(Scope child)
CompoundLiteralExpression	ModelFactory.compoundLiteralExpression(CIVLSource source, Scope exprScope, CIVLType type, boolean isStringLiteral)	Creates a new instance of a compound literal expression.
VariableExpression	ModelFactory.domSizeVariable(CIVLSource source, Scope scope)
CIVLFunction	ModelFactory.function(CIVLSource source, boolean isAtomic, Identifier name, Scope parameterScope, List<Variable> parameters, CIVLType returnType, Scope containingScope, Location startLocation)	Create a new function.
boolean	Scope.isDescendantOf(Scope anc)	Return true if the scope is a descendant of the scope anc
Scope	ModelFactory.leastCommonAncestor(Scope s0, Scope s1)
Location	ModelFactory.location(CIVLSource source, Scope scope)	Create a new location.
LogicFunction	ModelFactory.logicFunction(CIVLSource source, Identifier name, Scope parameterScope, List<Variable> parameters, CIVLType outputType, int[] pointerToHeapMap, Scope containingScope, Expression definition)	Create a new logic function (LogicFunction).
Variable	ModelFactory.newAnonymousVariable(CIVLSource sourceOf, Scope scope, CIVLType type)	Create a variable of the given type and add it to the given scope.
Variable	ModelFactory.newAnonymousVariableForArrayLiteral(CIVLSource sourceOf, Scope scope, CIVLArrayType type)	Creates an anonymous variable of array type in a certain scope.
CIVLFunction	ModelFactory.nondetFunction(CIVLSource source, Identifier name, CIVLType returnType, Scope containingScope)
VariableExpression	ModelFactory.parProcsVariable(CIVLSource source, CIVLType type, Scope scope)
Scope	ModelFactory.scope(CIVLSource source, Scope parent, List<Variable> variables, CIVLFunction function)	Create a new scope.
void	CIVLFunction.setContainingScope(Scope containingScope)
void	CIVLFunction.setOuterScope(Scope outerScope)
void	Scope.setParent(Scope parent)
void	ModelFactory.setScopes(Scope scope)	Set the system scope, which is the root (static) scope of the model.
SystemFunction	ModelFactory.systemFunction(CIVLSource source, Identifier name, Scope parameterScope, List<Variable> parameters, CIVLType returnType, Scope containingScope, String libraryName)	Generate the system function
Set<Variable>	CIVLFunction.variableAddressedOf(Scope scope)	returns the variables that are used as the operand of the address-of operator and are visible from the given lexical scope.

Method parameters in dev.civl.mc.model.IF with type arguments of type Scope

Modifier and Type	Method	Description
void	Scope.setChildren(Set<Scope> children)
void	CIVLFunction.setScopes(Set<Scope> scopes)

Uses of Scope in dev.civl.mc.model.IF.contract

Methods in dev.civl.mc.model.IF.contract that return Scope

Modifier and Type	Method	Description
Scope	FunctionContract.scope()	The static scope in which the function contract exists.

Methods in dev.civl.mc.model.IF.contract with parameters of type Scope

Modifier and Type	Method	Description
FunctionContract	ContractFactory.newFunctionContract(CIVLSource source, Scope scope)	Creates a new function contract.

Uses of Scope in dev.civl.mc.model.IF.expression

Methods in dev.civl.mc.model.IF.expression that return Scope

Modifier and Type	Method	Description
Scope	Expression.expressionScope()
Scope	Expression.lowestScope()
Scope	FunctionIdentifierExpression.scope()

Methods in dev.civl.mc.model.IF.expression with parameters of type Scope

Modifier and Type	Method	Description
void	Expression.purelyLocalAnalysisOfVariables(Scope funcScope)	Analyzes if variables accessed by this expression are purely local
Set<Variable>	Expression.variableAddressedOf(Scope scope)	Compute the set of variables visible from a certain scope that appear in an address-of expression.
Variable	LHSExpression.variableWritten(Scope scope)	Return the variable that is visible from the given scope, which is possible the left hand side of an assignment statement.

Uses of Scope in dev.civl.mc.model.IF.location

Methods in dev.civl.mc.model.IF.location that return Scope

Modifier and Type	Method	Description
Scope	Location.impactScopeOfAtomicOrAtomBlock()	The impact scope of a location is required in the enabler when an atomic/atom block is encountered, in which case the impact scope of all statements in the atomic block should be considered.
Scope	Location.scope()

Methods in dev.civl.mc.model.IF.location with parameters of type Scope

Modifier and Type	Method	Description
void	Location.setImpactScopeOfAtomicOrAtomBlock(Scope scope)	set the impact scope of a location, only called when this.AtomicKind == ATOM_ENTER or ATOMIC_ENTER.
void	Location.setScope(Scope scope)

Uses of Scope in dev.civl.mc.model.IF.statement

Methods in dev.civl.mc.model.IF.statement that return Scope

Modifier and Type	Method	Description
Scope	Statement.lowestScope()	Obtains the lowest scope of expression accessed by this statement.
Scope	Statement.statementScope()

Methods in dev.civl.mc.model.IF.statement with parameters of type Scope

Modifier and Type	Method	Description
void	Statement.purelyLocalAnalysisOfVariables(Scope funcScope)	if an invalid input: '&'(var) is encountered, then var is considered as no purely local if a statement inside a function with fscope is accessing some variable that is declared in the scope vscope such that fscope.isDescendantOf(vscope), then that variable is not purely local
Set<Variable>	Statement.variableAddressedOf(Scope scope)	Obtain the set of variables visible from a certain scope that are possible to be written in the future.

Uses of Scope in dev.civl.mc.model.IF.type

Methods in dev.civl.mc.model.IF.type that return Scope

Modifier and Type	Method	Description
Scope	CIVLPointerType.getRegion()	Returns the highest scope in the static scope hierarchy in which the target of this pointer could be declared.

Uses of Scope in dev.civl.mc.model.IF.variable

Methods in dev.civl.mc.model.IF.variable that return Scope

Modifier and Type	Method	Description
Scope	Variable.scope()

Methods in dev.civl.mc.model.IF.variable with parameters of type Scope

Modifier and Type	Method	Description
void	Variable.setScope(Scope scope)

Uses of Scope in dev.civl.mc.semantics.IF

Method parameters in dev.civl.mc.semantics.IF with type arguments of type Scope

Modifier and Type	Method	Description
MemoryUnitSet	MemoryUnitExpressionEvaluator.evaluateMemoryUnit(State state, Pair<Scope,dev.civl.sarl.IF.expr.SymbolicExpression[]> parameterScope, int pid, Expression muExpr)	Evaluates the memory unit represented by an expression in a contract.

Uses of Scope in dev.civl.mc.state.IF

Methods in dev.civl.mc.state.IF that return Scope

Modifier and Type	Method	Description
Scope	DynamicScope.lexicalScope()	Returns the lexical (static) scope of which this dynamic scope is an instance.

Methods in dev.civl.mc.state.IF with parameters of type Scope

Modifier and Type	Method	Description
int	State.getDyscope(int pid, Scope scope)	Given a PID and a static scope, returns the ID of the first dyscope corresponding to the static scope and reachable from the given process.