GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.lgsp
SequenceComputationGenerator Class
SequenceComputationGenerator Methods
EmitSequenceComputation Method
EmitSequenceComputationAssert Method
EmitSequenceComputationAssignment Method
EmitSequenceComputationBuiltinProcedureCall Method
EmitSequenceComputationContainerAdd Method
EmitSequenceComputationContainerAddAll Method
EmitSequenceComputationContainerAddArray Method
EmitSequenceComputationContainerAddDeque Method
EmitSequenceComputationContainerAddSetMap Method
EmitSequenceComputationContainerAddUnknownType Method
EmitSequenceComputationContainerClear Method
EmitSequenceComputationContainerClearArray Method
EmitSequenceComputationContainerClearDeque Method
EmitSequenceComputationContainerClearSetMap Method
EmitSequenceComputationContainerClearUnknownType Method
EmitSequenceComputationContainerRem Method
EmitSequenceComputationContainerRemArray Method
EmitSequenceComputationContainerRemDeque Method
EmitSequenceComputationContainerRemSetMap Method
EmitSequenceComputationContainerRemUnknownType Method
EmitSequenceComputationDebugAdd Method
EmitSequenceComputationDebugEmit Method
EmitSequenceComputationDebugHalt Method
EmitSequenceComputationDebugHighlight Method
EmitSequenceComputationDebugRem Method
EmitSequenceComputationDeleteFile Method
EmitSequenceComputationEmit Method
EmitSequenceComputationExport Method
EmitSequenceComputationExpression Method
EmitSequenceComputationGetEquivalentOrAdd Method
EmitSequenceComputationGraphAdd Method
EmitSequenceComputationGraphAddCopy Method
EmitSequenceComputationGraphClear Method
EmitSequenceComputationGraphMerge Method
EmitSequenceComputationGraphRedirectSource Method
EmitSequenceComputationGraphRedirectSourceAndTarget Method
EmitSequenceComputationGraphRedirectTarget Method
EmitSequenceComputationGraphRem Method
EmitSequenceComputationGraphRetype Method
EmitSequenceComputationInsert Method
EmitSequenceComputationInsertCopy Method
EmitSequenceComputationInsertDefined Method
EmitSequenceComputationInsertInduced Method
EmitSequenceComputationProcedureCall Method
EmitSequenceComputationProcedureMethodCall Method
EmitSequenceComputationRecord Method
EmitSequenceComputationSynchronizationEnter Method
EmitSequenceComputationSynchronizationExit Method
EmitSequenceComputationSynchronizationTryEnter Method
EmitSequenceComputationThen Method
EmitSequenceComputationVAlloc Method
EmitSequenceComputationVariableDeclaration Method
EmitSequenceComputationVFree Method
EmitSequenceComputationVReset Method
Click or drag to resize

SequenceComputationGeneratorEmitSequenceComputationAssert Method


Namespace: de.unika.ipd.grGen.lgsp
Assembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public void EmitSequenceComputationAssert(
	SequenceComputationAssert seqAssert,
	SourceBuilder source
)

Parameters

seqAssert  SequenceComputationAssert
 
source  SourceBuilder
 
See Also