BackendAnalysis | Camfort.Specification.Hoare.CheckBackend |
BackendError | Camfort.Specification.Hoare.CheckFrontend |
Backward | Camfort.Specification.Stencils.Syntax |
BasicType | Language.Fortran.Model.Singletons |
BasicTypeMax | Language.Fortran.Model.Singletons |
basicTypeMax | Language.Fortran.Model.Singletons |
BasicTypeMaxSym0 | Language.Fortran.Model.Singletons |
BasicTypeMaxSym0KindInference | Language.Fortran.Model.Singletons |
BasicTypeMaxSym1 | Language.Fortran.Model.Singletons |
BasicTypeMaxSym1KindInference | Language.Fortran.Model.Singletons |
BasicTypeMaxSym2 | Language.Fortran.Model.Singletons |
BitBool | Language.Fortran.Model.Repr.Prim |
Bool16 | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
Bool32 | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
Bool64 | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
Bool8 | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
BoolRepr | Language.Fortran.Model.Repr.Prim |
Bound | |
1 (Data Constructor) | Camfort.Specification.Stencils.Model |
2 (Type/Class) | Camfort.Specification.Stencils.Model |
BTChar | Language.Fortran.Model.Singletons |
BTCharSym0 | Language.Fortran.Model.Singletons |
BTInt | Language.Fortran.Model.Singletons |
BTIntSym0 | Language.Fortran.Model.Singletons |
BTLogical | Language.Fortran.Model.Singletons |
BTLogicalSym0 | Language.Fortran.Model.Singletons |
BTReal | Language.Fortran.Model.Singletons |
BTRealSym0 | Language.Fortran.Model.Singletons |
buildCommentText | Camfort.Analysis.Annotations |
Builder | Camfort.Analysis.Logger |
builderToStrict | Camfort.Analysis.Logger |