Module dev.civl.mc
Package dev.civl.mc.model.IF

Interface Sourceable

All Known Subinterfaces:
AbstractFunction, AbstractFunctionCallExpression, AddressOfExpression, ArrayLambdaExpression, AssignStatement, AtomicLockAssignStatement, BinaryExpression, BooleanLiteralExpression, BoundVariableExpression, CallEvent, CallOrSpawnStatement, CastExpression, CharLiteralExpression, CIVLFunction, CivlParForSpawnStatement, CompositeEvent, CompoundLiteralExpression, 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, NamedFunctionBehavior, NoopStatement, Nothing, ParallelAssignStatement, ProcnullExpression, QuantifiedExpression, RealLiteralExpression, RecDomainLiteralExpression, RegularRangeExpression, ReturnStatement, Scope, ScopeofExpression, SelfExpression, SizeofExpression, SizeofTypeExpression, Statement, StatenullExpression, SubscriptExpression, SystemFunction, SystemGuardExpression, UnaryExpression, UndefinedProcessExpression, UpdateStatement, Variable, VariableExpression, WildcardExpression
public interface Sourceable

  • Method Details