Package edu.udel.cis.vsl.civl.model.IF
Interface Sourceable
-
- All Known Subinterfaces:
AbstractFunction,AbstractFunctionCallExpression,AddressOfExpression,ArrayLambdaExpression,ArrayLiteralExpression,AssignStatement,AtomicLockAssignStatement,BinaryExpression,BooleanLiteralExpression,BoundVariableExpression,CallEvent,CallOrSpawnStatement,CastExpression,CharLiteralExpression,CIVLFunction,CivlParForSpawnStatement,CompositeEvent,ConditionalExpression,DependsEvent,DereferenceExpression,DerivativeCallExpression,DifferentiableExpression,DomainGuardExpression,DomainIteratorStatement,DotExpression,DynamicTypeOfExpression,Expression,ExtendedQuantifiedExpression,FunctionBehavior,FunctionCallExpression,FunctionContract,FunctionGuardExpression,FunctionIdentifierExpression,HereOrRootExpression,Identifier,InitialValueExpression,IntegerLiteralExpression,LambdaExpression,LHSExpression,LiteralExpression,Location,LogicFunction,LoopBranchStatement,LoopContract,MallocStatement,MemoryEvent,MemoryUnitExpression,Model,MPICollectiveBehavior,MPIContractExpression,NamedFunctionBehavior,NoopStatement,Nothing,ParallelAssignStatement,ProcnullExpression,QuantifiedExpression,RealLiteralExpression,RecDomainLiteralExpression,RegularRangeExpression,ReturnStatement,Scope,ScopeofExpression,SelfExpression,SizeofExpression,SizeofTypeExpression,Statement,StatenullExpression,StructOrUnionLiteralExpression,SubscriptExpression,SystemFunction,SystemGuardExpression,UnaryExpression,UndefinedProcessExpression,UpdateStatement,ValueAtExpression,Variable,VariableExpression,WildcardExpression,WithStatement
public interface Sourceable
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description CIVLSourcegetSource()voidsetCIVLSource(CIVLSource source)
-
-
-
Method Detail
-
getSource
CIVLSource getSource()
-
setCIVLSource
void setCIVLSource(CIVLSource source)
-
-