Class Polyspace.Descriptor

All Implemented Interfaces:
Saveable, Loadable, OnMaster
Enclosing class:
Polyspace

@Symbol("polyspaceParser") @Extension public static class Polyspace.Descriptor extends AnalysisModelParser.AnalysisModelParserDescriptor
Descriptor for this static analysis tool.
  • Constructor Details

    • Descriptor

      public Descriptor()
      Creates the descriptor instance.