Note

You are not reading the most recent version of this documentation.

LoadingStatus

enum Cocotec.CocoPlatform.Coco.Ide.LoadingStatus

Values:

NotStarted

The file has never been loaded.

LoadedFailed

The file was loaded but errors were found.

LoadedOk

The file was loaded and no errors were found.

LoadedOkOperationDiagnostic

The file was loaded ok, but a diagnostic was later found whilst running an operation (e.g. verification/code generation).