All Downloads are FREE. Search and download functionalities are using the official Maven repository.

repairability.JMutRepair.unary.xml Maven / Gradle / Ivy

<pattern name="unary">
    <entity id="1" type="UnaryOperator"/>
    <action entityId="1" type="ANY"/>


    <!-- For making sure that operand remains the same -->
    <entity id="2" type="*" role="*"> <!-- For the operand. TODO: shallow operand UNCHANGED CHECK check -->
        <parent parentId="1" distance="1"/>
    </entity>
    <action entityId="3" type="UNCHANGED_HIGH_PRIORITY"/>

    <entity id="3" type="*" role="*"> <!-- And everything within it -->
        <parent parentId="2" distance="10000"/>
    </entity>
    <action entityId="3" type="UNCHANGED_HIGH_PRIORITY"/>
</pattern>




© 2015 - 2024 Weber Informatics LLC | Privacy Policy