C# Class Microsoft.Zing.Splicer

Show file Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method Description
AddBlockLabel ( BasicBlock block, string label ) : void
CodeGen ( Compilation compilation ) : CompilationUnit
Splicer ( CompilerParameters options, TrivialHashtable referencedLabels, Hashtable exceptionNames ) : System

Private Methods

Method Description
AddBlockMethod ( ZMethod zMethod, System.Compiler.Class methodClass, BasicBlock block, List nonTrivialScopes ) : void
AddScopeCleanupCalls ( StatementList stmts, BasicBlock source, BasicBlock target, List nonTrivialScopes ) : void
AddScopeCleanupMethod ( System.Compiler.Class methodClass, System.Compiler.Scope scope ) : void
AddToLabelString ( string methodName ) : void
CollectClasses ( ) : TypeNodeList
CollectGlobals ( ) : MemberList
ContextAttributeConstructor ( AttributeList attrs ) : Expression
ExtendMethodConstructor ( Class newClass, ZMethod zMethod ) : void
FindMatchingInterfaces ( Class c, ZMethod zMethod ) : InterfaceList
GenerateArray ( ZArray arrayNode ) : void
GenerateBasicBlocks ( Class newClass, ZMethod zMethod ) : void
GenerateChan ( Chan chanNode ) : void
GenerateClass ( Class c ) : void
GenerateClassMethod ( ZMethod zMethod, Interface x ) : Class
GenerateEnum ( EnumNode enumNode ) : void
GenerateInputs ( ZMethod zMethod, Class inputsClass ) : void
GenerateInterface ( Interface x ) : void
GenerateInterfaceMethod ( ZMethod zMethod ) : Class
GenerateLocals ( ZMethod zMethod, Class localsClass ) : void
GenerateOutputs ( ZMethod zMethod, Class outputsClass ) : void
GenerateRange ( Range rangeNode ) : void
GenerateSet ( Set setNode ) : void
GenerateStruct ( Struct structNode ) : void
GenerateThisParameter ( Class newClass ) : void
GenerateTypeChoiceHelper ( ) : void
GetAccessorProperty ( string template, TypeNode type, Identifier name, Expression privExpr, Expression idExpr, Expression localInputOrOutput ) : Property
GetCloneStatement ( Identifier varName ) : Statement
GetContextAttribute ( AttributeList attrs ) : AttributeNode
GetCopyStatement ( Identifier varName ) : Statement
GetFieldAccessorProperty ( TypeNode oldType, TypeNode type, Identifier name, Expression privExpr, Expression idExpr ) : Property
GetStructAccessorProperty ( string template, TypeNode type, Identifier name, Expression privExpr, Expression localInputOrOutput ) : Property
GetThisAccessorProperty ( TypeNode type, Identifier name, Expression privExpr ) : Property
GetTraverserStatement ( string prefix, TypeNode type, Identifier varName ) : Statement
GetTypeClassification ( TypeNode type ) : TypeClassification
GetTypeName ( TypeNode type ) : string
GetWriterStatement ( string prefix, TypeNode type, Identifier varName ) : Statement
HeapUsed ( ) : bool
InstallType ( TypeNode type ) : void
IsPredefinedType ( TypeNode t ) : bool
PatchContextAttributeProperty ( ZMethod zMethod, Class methodClass, List basicBlocks ) : void
PatchDispatchMethod ( Class methodClass, List basicBlocks ) : void
PatchIsAtomicEntryMethod ( Class methodClass, List basicBlocks ) : void
PatchRunnableMethod ( Class methodClass, List basicBlocks ) : void
PatchSourceContextProperty ( ZMethod zMethod, Class methodClass, List basicBlocks ) : void
PatchValidEndStateProperty ( Class methodClass, List basicBlocks ) : void
ProcessGlobals ( MemberList globals ) : void
ScopeNeedsCleanup ( Scope scope ) : bool
SetExceptionList ( ) : void
SetSourceStrings ( Compilation compilation ) : void
SetTypeId ( TypeNode type ) : void
SourceContextConstructor ( SourceContext ctx ) : Expression
collectStructAccessors ( bool isGlobalVar, Struct s, Expression expPrefix, string strPrefix, Class theClass ) : void

Method Details

AddBlockLabel() public method

public AddBlockLabel ( BasicBlock block, string label ) : void
block BasicBlock
label string
return void

CodeGen() public method

public CodeGen ( Compilation compilation ) : CompilationUnit
compilation Compilation
return CompilationUnit

Splicer() public method

public Splicer ( CompilerParameters options, TrivialHashtable referencedLabels, Hashtable exceptionNames ) : System
options CompilerParameters
referencedLabels TrivialHashtable
exceptionNames Hashtable
return System