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

Packages that use Fragment

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.

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

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

Modifier and Type	Method	Description
Fragment	AccuracyAssumptionBuilder.accuracyAssumptions(Expression assumption, Scope scope)	Analyze an assumption.
Fragment	ModelFactory.anonFragment()	Returns the current fragment of an assignment statement for an anonymous variable initialization.
Fragment	ModelFactory.atomicFragment(Fragment fragment, Location start, Location end)	Generate an atomic fragment based on a certain fragment, by adding one location at before and after the fragment to denote the boundary of the atomic block
Fragment	ModelFactory.civlForEnterFragment(CIVLSource source, Location src, Expression dom, List<Variable> variables, Variable counter)	Returns a new fragment containing a CivlForStatement.
Fragment	Fragment.combineWith(Fragment next)	Combine two fragment in sequential order.
Fragment	Fragment.parallelCombineWith(Fragment parallel)	Combine this fragment and another fragment in parallel, i.e., merge the start location, and add the last statement of both fragments as the last statement of the result fragment
Fragment	ModelFactory.returnFragment(CIVLSource civlSource, Location source, Expression expression, CIVLFunction function)	Create a one-statement fragment that contains the return statement.

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

Modifier and Type	Method	Description
Fragment	ModelFactory.atomicFragment(Fragment fragment, Location start, Location end)	Generate an atomic fragment based on a certain fragment, by adding one location at before and after the fragment to denote the boundary of the atomic block
Fragment	Fragment.combineWith(Fragment next)	Combine two fragment in sequential order.
Fragment	Fragment.parallelCombineWith(Fragment parallel)	Combine this fragment and another fragment in parallel, i.e., merge the start location, and add the last statement of both fragments as the last statement of the result fragment