Offsets | |
1 (Type/Class) | Camfort.Specification.Stencils.Model |
2 (Data Constructor) | Camfort.Specification.Stencils.Model |
offsetToIx | Camfort.Specification.Stencils.Synthesis |
oFile | Camfort.Analysis.Logger |
OKDeref | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKDerefSym0 | Language.Fortran.Model.Singletons |
OKEq | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKEqSym0 | Language.Fortran.Model.Singletons |
OKLit | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKLitSym0 | Language.Fortran.Model.Singletons |
OKLogical | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKLogicalSym0 | Language.Fortran.Model.Singletons |
OKLookup | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKLookupSym0 | Language.Fortran.Model.Singletons |
OKNum | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKNumSym0 | Language.Fortran.Model.Singletons |
OKRel | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKRelSym0 | Language.Fortran.Model.Singletons |
OKWriteArr | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKWriteArrSym0 | Language.Fortran.Model.Singletons |
OKWriteData | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKWriteDataSym0 | Language.Fortran.Model.Singletons |
on2 | Language.Fortran.Model.Util |
Once | Camfort.Specification.Stencils.Model |
onPrev | Camfort.Analysis.Annotations |
Op | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpAdd | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpAnd | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpDeref | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpDiv | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpEq | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpEquiv | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpGE | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpGT | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpKind | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpLE | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpLit | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpLookup | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpLT | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpMul | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpNE | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpNeg | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpNot | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpNotEquiv | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpOr | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpPos | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpSpec | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpSub | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
optimise | Camfort.Specification.Stencils.Model |
Or | Camfort.Specification.Stencils.Parser.Types |
Origin | |
1 (Type/Class) | Camfort.Analysis.Logger, Camfort.Analysis |
2 (Data Constructor) | Camfort.Analysis.Logger, Camfort.Analysis |
OrphanDecls | Camfort.Specification.Hoare.CheckFrontend |
OSDeref | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSEq | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSLit | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSLogical1 | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSLogical2 | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSLookup | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSNum1 | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSNum2 | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
oSpan | Camfort.Analysis.Logger |
OSRel | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
outputFile | Camfort.Output |
OutputFiles | Camfort.Output |
outputFiles | Camfort.Output |
overField | Language.Fortran.Model.Types, Language.Fortran.Model |
overField' | Language.Fortran.Model.Types, Language.Fortran.Model |