Skip to content
Snippets Groups Projects
Select Git revision
  • 87d7a8766bc597904a9debb76c06f6606fc14f08
  • master default protected
2 results

cp-to-solution.sh

Blame
  • Test.jadd 3.82 KiB
    aspect Computation {
      // native types, synthesized
      syn int NativeTypesSyn.getIntValue() = Integer.parseInt(getDriverSyn());
      syn short NativeTypesSyn.getShortValue() = Short.parseShort(getDriverSyn());
      syn long NativeTypesSyn.getLongValue() = Long.parseLong(getDriverSyn());
      syn float NativeTypesSyn.getFloatValue() = Float.parseFloat(getDriverSyn());
      syn double NativeTypesSyn.getDoubleValue() = Double.parseDouble(getDriverSyn());
      syn char NativeTypesSyn.getCharValue() = getDriverSyn().charAt(0);
      syn String NativeTypesSyn.getStringValue() = new String(getDriverSyn());
      syn int NativeTypesSyn.getIntValueTransformed() = Integer.parseInt(getDriverSyn());
      syn short NativeTypesSyn.getShortValueTransformed() = Short.parseShort(getDriverSyn());
      syn long NativeTypesSyn.getLongValueTransformed() = Long.parseLong(getDriverSyn());
      syn float NativeTypesSyn.getFloatValueTransformed() = Float.parseFloat(getDriverSyn());
      syn double NativeTypesSyn.getDoubleValueTransformed() = Double.parseDouble(getDriverSyn());
      syn char NativeTypesSyn.getCharValueTransformed() = getDriverSyn().charAt(0);
      syn String NativeTypesSyn.getStringValueTransformed() = new String(getDriverSyn());
    
      // boxed types, synthesized
      syn Integer BoxedTypesSyn.getIntValue() = Integer.valueOf(getDriverSyn());
      syn Short BoxedTypesSyn.getShortValue() = Short.valueOf(getDriverSyn());
      syn Long BoxedTypesSyn.getLongValue() = Long.valueOf(getDriverSyn());
      syn Float BoxedTypesSyn.getFloatValue() = Float.valueOf(getDriverSyn());
      syn Double BoxedTypesSyn.getDoubleValue() = Double.valueOf(getDriverSyn());
      syn Character BoxedTypesSyn.getCharValue() = getDriverSyn().charAt(0);
      syn Integer BoxedTypesSyn.getIntValueTransformed() = Integer.valueOf(getDriverSyn());
      syn Short BoxedTypesSyn.getShortValueTransformed() = Short.valueOf(getDriverSyn());
      syn Long BoxedTypesSyn.getLongValueTransformed() = Long.valueOf(getDriverSyn());
      syn Float BoxedTypesSyn.getFloatValueTransformed() = Float.valueOf(getDriverSyn());
      syn Double BoxedTypesSyn.getDoubleValueTransformed() = Double.valueOf(getDriverSyn());
      syn Character BoxedTypesSyn.getCharValueTransformed() = getDriverSyn().charAt(0);
    
    // --- inherited attributes not supported ---
    //  // native types, inherited
    //  inh int NativeTypesInh.getIntValue();
    //  eq A.getNativeTypesInh().getIntValue() = Integer.parseInt(getDriverInh());
    //  inh short NativeTypesInh.getShortValue();
    //  eq A.getNativeTypesInh().getShortValue() = Short.parseShort(getDriverInh());
    //  inh long NativeTypesInh.getLongValue();
    //  eq A.getNativeTypesInh().getLongValue() = Long.parseLong(getDriverInh());
    //  inh float NativeTypesInh.getFloatValue();
    //  eq A.getNativeTypesInh().getFloatValue() = Float.parseFloat(getDriverInh());
    //  inh double NativeTypesInh.getDoubleValue();
    //  eq A.getNativeTypesInh().getDoubleValue() = Double.parseDouble(getDriverInh());
    //  inh char NativeTypesInh.getCharValue();
    //  eq A.getNativeTypesInh().getCharValue() = getDriverInh().charAt(0);
    //  inh String NativeTypesInh.getStringValue();
    //  eq A.getNativeTypesInh().getStringValue() = new String(getDriverInh());
    //
    //  // boxed types, inherited
    //  inh Integer BoxedTypesInh.getIntValue();
    //  eq A.getBoxedTypesInh().getIntValue() = Integer.valueOf(getDriverInh());
    //  inh Short BoxedTypesInh.getShortValue();
    //  eq A.getBoxedTypesInh().getShortValue() = Short.valueOf(getDriverInh());
    //  inh Long BoxedTypesInh.getLongValue();
    //  eq A.getBoxedTypesInh().getLongValue() = Long.valueOf(getDriverInh());
    //  inh Float BoxedTypesInh.getFloatValue();
    //  eq A.getBoxedTypesInh().getFloatValue() = Float.valueOf(getDriverInh());
    //  inh Double BoxedTypesInh.getDoubleValue();
    //  eq A.getBoxedTypesInh().getDoubleValue() = Double.valueOf(getDriverInh());
    //  inh Character BoxedTypesInh.getCharValue();
    //  eq A.getBoxedTypesInh().getCharValue() = getDriverInh().charAt(0);
    }