Refactor locals #2554
windowsci.yml
on: push
Build-And-Test-Windows
1m 51s
Annotations
10 errors
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Containment/TraceContainmentCodeGenerator.cs#L17
The namespace 'Plang.Compiler.Backend.Containment' already contains a definition for 'ContainmentCodeGenerator'
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Containment/TraceContainmentCodeGenerator.cs#L19
Type 'ContainmentCodeGenerator' already defines a member called 'GenerateCode' with the same parameter types
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Containment/TraceContainmentCodeGenerator.cs#L26
Type 'ContainmentCodeGenerator' already defines a member called 'GenerateSource' with the same parameter types
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Containment/TraceContainmentCodeGenerator.cs#L60
Type 'ContainmentCodeGenerator' already defines a member called 'WriteMonitorList' with the same parameter types
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Containment/TraceContainmentCodeGenerator.cs#L69
Type 'ContainmentCodeGenerator' already defines a member called 'WriteMonitorMap' with the same parameter types
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Containment/TraceContainmentCodeGenerator.cs#L102
Type 'ContainmentCodeGenerator' already defines a member called 'WriteEvent' with the same parameter types
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Containment/TraceContainmentCodeGenerator.cs#L107
Type 'ContainmentCodeGenerator' already defines a member called 'WriteDecl' with the same parameter types
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Containment/TraceContainmentCodeGenerator.cs#L132
Type 'ContainmentCodeGenerator' already defines a member called 'WriteMonitor' with the same parameter types
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Containment/TraceContainmentCodeGenerator.cs#L137
Type 'ContainmentCodeGenerator' already defines a member called 'WriteMachine' with the same parameter types
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Containment/TraceContainmentCodeGenerator.cs#L178
Type 'ContainmentCodeGenerator' already defines a member called 'WriteMachineConstructor' with the same parameter types
|