test_class.file: jtstoolkit/src/test/java/ec/satoolkit/special/StmSpecificationTest.java
test_class.identifier: StmSpecificationTest
test_case.body: @Test
      public void testClone(){
          StmSpecification spec=new StmSpecification();
          spec=spec.clone();
      }
test_case.class_method_signature: StmSpecificationTest.testClone()
test_case.full_signature: @Test public void testClone()
test_case.identifier: testClone
test_case.invocations: clone
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testClone()
focal_class.declarator: preprocessingSpec
focal_class.modifier: private
focal_class.original_string: private PreprocessingSpecification preprocessingSpec;
focal_class.type: PreprocessingSpecification
focal_class.var_name: preprocessingSpec
focal_class.declarator: decompositionSpec
focal_class.modifier: private
focal_class.original_string: private BsmSpecification decompositionSpec;
focal_class.type: BsmSpecification
focal_class.var_name: decompositionSpec
focal_class.declarator: benchmarkingSpec
focal_class.modifier: private
focal_class.original_string: private SaBenchmarkingSpec benchmarkingSpec;
focal_class.type: SaBenchmarkingSpec
focal_class.var_name: benchmarkingSpec
focal_class.file: jtstoolkit/src/main/java/ec/satoolkit/special/StmSpecification.java
focal_class.identifier: StmSpecification
focal_class.interfaces: implements ISaSpecification, Cloneable
focal_class.class_method_signature: StmSpecification.StmSpecification()
focal_class.full_signature: public  StmSpecification()
focal_class.identifier: StmSpecification
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.signature:  StmSpecification()
focal_class.class_method_signature: StmSpecification.getPreprocessingSpec()
focal_class.full_signature: public PreprocessingSpecification getPreprocessingSpec()
focal_class.identifier: getPreprocessingSpec
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: PreprocessingSpecification
focal_class.signature: PreprocessingSpecification getPreprocessingSpec()
focal_class.class_method_signature: StmSpecification.getDecompositionSpec()
focal_class.full_signature: public BsmSpecification getDecompositionSpec()
focal_class.identifier: getDecompositionSpec
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: BsmSpecification
focal_class.signature: BsmSpecification getDecompositionSpec()
focal_class.class_method_signature: StmSpecification.getBenchmarkingSpec()
focal_class.full_signature: public SaBenchmarkingSpec getBenchmarkingSpec()
focal_class.identifier: getBenchmarkingSpec
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: SaBenchmarkingSpec
focal_class.signature: SaBenchmarkingSpec getBenchmarkingSpec()
focal_class.class_method_signature: StmSpecification.setPreprocessingSpec(PreprocessingSpecification spec)
focal_class.full_signature: public void setPreprocessingSpec(PreprocessingSpecification spec)
focal_class.identifier: setPreprocessingSpec
focal_class.modifiers: public
focal_class.parameters: (PreprocessingSpecification spec)
focal_class.return: void
focal_class.signature: void setPreprocessingSpec(PreprocessingSpecification spec)
focal_class.class_method_signature: StmSpecification.setDecompositionSpec(BsmSpecification spec)
focal_class.full_signature: public void setDecompositionSpec(BsmSpecification spec)
focal_class.identifier: setDecompositionSpec
focal_class.modifiers: public
focal_class.parameters: (BsmSpecification spec)
focal_class.return: void
focal_class.signature: void setDecompositionSpec(BsmSpecification spec)
focal_class.class_method_signature: StmSpecification.setBenchmarkingSpec(SaBenchmarkingSpec spec)
focal_class.full_signature: public void setBenchmarkingSpec(SaBenchmarkingSpec spec)
focal_class.identifier: setBenchmarkingSpec
focal_class.modifiers: public
focal_class.parameters: (SaBenchmarkingSpec spec)
focal_class.return: void
focal_class.signature: void setBenchmarkingSpec(SaBenchmarkingSpec spec)
focal_class.class_method_signature: StmSpecification.toString()
focal_class.full_signature: @Override public String toString()
focal_class.identifier: toString
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String toString()
focal_class.class_method_signature: StmSpecification.clone()
focal_class.full_signature: @Override public StmSpecification clone()
focal_class.identifier: clone
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: StmSpecification
focal_class.signature: StmSpecification clone()
focal_class.class_method_signature: StmSpecification.equals(StmSpecification other)
focal_class.full_signature: public boolean equals(StmSpecification other)
focal_class.identifier: equals
focal_class.modifiers: public
focal_class.parameters: (StmSpecification other)
focal_class.return: boolean
focal_class.signature: boolean equals(StmSpecification other)
focal_class.class_method_signature: StmSpecification.equals(Object obj)
focal_class.full_signature: @Override public boolean equals(Object obj)
focal_class.identifier: equals
focal_class.modifiers: @Override public
focal_class.parameters: (Object obj)
focal_class.return: boolean
focal_class.signature: boolean equals(Object obj)
focal_class.class_method_signature: StmSpecification.hashCode()
focal_class.full_signature: @Override public int hashCode()
focal_class.identifier: hashCode
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int hashCode()
focal_class.class_method_signature: StmSpecification.write(boolean verbose)
focal_class.full_signature: @Override public InformationSet write(boolean verbose)
focal_class.identifier: write
focal_class.modifiers: @Override public
focal_class.parameters: (boolean verbose)
focal_class.return: InformationSet
focal_class.signature: InformationSet write(boolean verbose)
focal_class.class_method_signature: StmSpecification.read(InformationSet info)
focal_class.full_signature: @Override public boolean read(InformationSet info)
focal_class.identifier: read
focal_class.modifiers: @Override public
focal_class.parameters: (InformationSet info)
focal_class.return: boolean
focal_class.signature: boolean read(InformationSet info)
focal_class.class_method_signature: StmSpecification.fillDictionary(String prefix, Map<String, Class> dic)
focal_class.full_signature: public static void fillDictionary(String prefix, Map<String, Class> dic)
focal_class.identifier: fillDictionary
focal_class.modifiers: public static
focal_class.parameters: (String prefix, Map<String, Class> dic)
focal_class.return: void
focal_class.signature: void fillDictionary(String prefix, Map<String, Class> dic)
focal_class.class_method_signature: StmSpecification.buildPreprocessor(ProcessingContext context)
focal_class.full_signature: public IPreprocessor buildPreprocessor(ProcessingContext context)
focal_class.identifier: buildPreprocessor
focal_class.modifiers: public
focal_class.parameters: (ProcessingContext context)
focal_class.return: IPreprocessor
focal_class.signature: IPreprocessor buildPreprocessor(ProcessingContext context)
focal_class.class_method_signature: StmSpecification.toLongString()
focal_class.full_signature: @Override public String toLongString()
focal_class.identifier: toLongString
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String toLongString()
focal_method.body: @Override
      public StmSpecification clone() {
          try {
              StmSpecification spec = (StmSpecification) super.clone();
              if (preprocessingSpec != null) {
                  spec.preprocessingSpec = preprocessingSpec.clone();
              }
              if (decompositionSpec != null) {
                  spec.decompositionSpec = decompositionSpec.clone();
              }
              return spec;
          } catch (CloneNotSupportedException ex) {
              throw new AssertionError();
          }
      }
focal_method.class_method_signature: StmSpecification.clone()
focal_method.full_signature: @Override public StmSpecification clone()
focal_method.identifier: clone
focal_method.invocations: clone clone clone
focal_method.modifiers: @Override public
focal_method.parameters: ()
focal_method.return: StmSpecification
focal_method.signature: StmSpecification clone()