All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • org.sdmlib.models.pattern.ReachableState Maven / Gradle / Ivy

    Go to download

    SDMLib is a light weight modeling library. SDMLib intentionally comes without any tool or editor.

    There is a newer version: 2.3.2341
    Show newest version
    /*
   Copyright (c) 2013 zuendorf 

   Permission is hereby granted, free of charge, to any person obtaining a copy of this software 
   and associated documentation files (the "Software"), to deal in the Software without restriction, 
   including without limitation the rights to use, copy, modify, merge, publish, distribute, 
   sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is 
   furnished to do so, subject to the following conditions: 

   The above copyright notice and this permission notice shall be included in all copies or 
   substantial portions of the Software. 

   The Software shall be used for Good, not Evil. 

   THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING 
   BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 
   NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, 
   DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
   OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. 
 */

package org.sdmlib.models.pattern;

import java.beans.PropertyChangeSupport;
import java.util.Comparator;
import java.util.HashMap;
import java.util.Iterator;
import java.util.LinkedHashMap;
import java.util.LinkedHashSet;
import java.util.Map.Entry;
import java.util.TreeMap;

import org.sdmlib.models.pattern.util.ReachableStateSet;
import org.sdmlib.models.pattern.util.RuleApplicationSet;
import org.sdmlib.serialization.PropertyChangeInterface;

import de.uniks.networkparser.json.JsonArray;
import de.uniks.networkparser.IdMap;
import de.uniks.networkparser.json.JsonObject;
import de.uniks.networkparser.json.JsonTokener;

import java.beans.PropertyChangeListener;
import java.lang.Object;
import de.uniks.networkparser.interfaces.SendableEntity;
import org.sdmlib.models.pattern.ReachabilityGraph;
import org.sdmlib.models.pattern.RuleApplication;
   /**
    * 
    * @see PatternModelCodeGen.java
*/
   public class ReachableState implements PropertyChangeInterface, SendableEntity
{
   private class JsonIdCompare implements Comparator
   {
      @Override
      public int compare(Object o1, Object o2)
      {
         JsonObject jo1 = (JsonObject) o1;
         JsonObject jo2 = (JsonObject) o2;
         return jo1.getString(IdMap.ID).compareTo(jo2.getString(IdMap.ID));
      }
   }
   
   public long noOfRuleMatchesDone = 0;

   private String certificate = null;
   
   public String getCertificate()
   {
      return certificate;
   }
   
   public void setCertificate(String certificate)
   {
      this.certificate = certificate;
   }

   public String computeCertificate(IdMap map)
   {
      this.certificate = null;
      
      long category = 1;
      
      HashMap oldnode2certificates = new HashMap();
      long oldNumOfCertificates = 0;
      
      node2certificates = new HashMap();

      JsonArray jsonArray = map.toJsonArray(this.getGraphRoot());

      // level 0
      for (Object o : jsonArray)
      {
         JsonObject jsonObj = (JsonObject) o;

         // get the id
         String id = jsonObj.getString(IdMap.ID);
         oldnode2certificates.put(id, "#" + id.charAt(2));
      }

      boolean stopNextRound = false;
      while (true)
      {
         // more levels 
         for (Object o : jsonArray)
         {
            JsonObject jsonObj = (JsonObject) o;

            // drop the id
            String id = jsonObj.getString(IdMap.ID);

            jsonObj.remove(IdMap.ID);

            JsonObject propObj = jsonObj.getJsonObject(JsonTokener.PROPS);

            // make references anonymous
            for (Iterator iter = propObj.keyIterator(); iter.hasNext();)
            {
               String key = iter.next();

               Object value = propObj.get(key);

               if (value instanceof JsonObject)
               {
                  JsonObject ref = (JsonObject) value;
                  if (ref.get(IdMap.ID) != null)
                  {
                     ref.withValue(IdMap.ID, oldnode2certificates.get(ref.getString(IdMap.ID)));
                  }
               }
               else if (value instanceof JsonArray)
               {
                  JsonArray refArray = (JsonArray) value;
                  for (Object ao : refArray)
                  {
                     JsonObject ref = (JsonObject) ao;
                     if (ref.get(IdMap.ID) != null)
                     {
                        ref.withValue(IdMap.ID, oldnode2certificates.get(ref.getString(IdMap.ID)));
                     }
                  }
                  
                  // sort the jsonarray according to ref node categories
                  java.util.Collections.sort(refArray, new JsonIdCompare());
               }
            }
            // store
            node2certificates.put(id, jsonObj.toString(2));
         }

         certificates2nodes = new TreeMap();

         for (Entry e : node2certificates.entrySet())
         {
            String nodeId = e.getKey();
            String certificate = e.getValue();

            String oldNodeList = certificates2nodes.get(certificate);

            if (oldNodeList != null)
            {
               oldNodeList = oldNodeList + " " + nodeId;
            }
            else
            {
               oldNodeList = nodeId;
            }

            certificates2nodes.put(certificate, oldNodeList);
         }

         if (stopNextRound || certificates2nodes.size() <= oldNumOfCertificates || certificates2nodes.size() == jsonArray.size())
         {
            if (stopNextRound)
            {
               // write state certificate
               StringBuffer buf = new StringBuffer();
               for (Entry e : certificates2nodes.entrySet())
               {
                  String certificate = e.getKey();
                  String nodeList = e.getValue();
                  long noOfNodes = countBlanks(nodeList) + 1;

                  buf.append(certificate).append('*').append(noOfNodes)
                     .append('\n');
               }
               this.certificate = buf.toString();
               break;
            }
            else 
            {
               stopNextRound = true;
            }
         }
         
         // numbering the certificates
         for (Entry e : certificates2nodes.entrySet())
         {
//            String certificate = e.getKey();
            String nodeList = e.getValue();
            String[] split = nodeList.split(" ");

            String catString = "#" + category;

            for(String n: split)
            {
               node2certificates.put(n, catString);
            }

            category++;
         }
         
         // do another round
         oldNumOfCertificates = certificates2nodes.size();
         oldnode2certificates = node2certificates;
         
         jsonArray = map.toJsonArray(this.getGraphRoot());
         node2certificates = new LinkedHashMap();
      } // while

      return this.certificate;
   }

   //==========================================================================

   private long countBlanks(String str)
   {
      long num = 0;
      
      for (int i = 0; i < str.length(); i++)
      {
         if (str.charAt(i) == ' ')
         {
            num++;
         }
      }
      
      return num;
   }

   //==========================================================================

   protected PropertyChangeSupport listeners = new PropertyChangeSupport(this);

   @Override
   public PropertyChangeSupport getPropertyChangeSupport()
   {
      return listeners;
   }

   public boolean addPropertyChangeListener(PropertyChangeListener listener) 
   {
      getPropertyChangeSupport().addPropertyChangeListener(listener);
      return true;
   }

   public boolean addPropertyChangeListener(String propertyName, PropertyChangeListener listener) {
      getPropertyChangeSupport().addPropertyChangeListener(propertyName, listener);
      return true;
   }

   public boolean removePropertyChangeListener(PropertyChangeListener listener) {
      getPropertyChangeSupport().removePropertyChangeListener(listener);
      return true;
   }

   //==========================================================================

   public void removeYou()
   {
      setParent(null);
      removeAllFromRuleapplications();
      removeAllFromResultOf();
      withoutRuleapplications(this.getRuleapplications().toArray(new RuleApplication[this.getRuleapplications().size()]));
      withoutResultOf(this.getResultOf().toArray(new RuleApplication[this.getResultOf().size()]));
      getPropertyChangeSupport().firePropertyChange("REMOVE_YOU", this, null);
   }


   public static final ReachableStateSet EMPTY_SET = new ReachableStateSet();


   /********************************************************************
    * 
        *              many                       one
    * ReachableState ----------------------------------- ReachabilityGraph
    *              states                   parent
    * 
    
    */

   public static final String PROPERTY_PARENT = "parent";

   private ReachabilityGraph parent = null;

   public ReachabilityGraph getParent()
   {
      return this.parent;
   }

   public boolean setParent(ReachabilityGraph value)
   {
      boolean changed = false;

      if (this.parent != value)
      {
         ReachabilityGraph oldValue = this.parent;

         if (this.parent != null)
         {
            this.parent = null;
            oldValue.withoutStates(this);
         }

         this.parent = value;

         if (value != null)
         {
            value.withStates(this);
         }

         getPropertyChangeSupport().firePropertyChange(PROPERTY_PARENT, oldValue, value);
         changed = true;
      }

      return changed;
   }

   public ReachableState withParent(ReachabilityGraph value)
   {
      setParent(value);
      return this;
   } 

   public ReachabilityGraph createParent()
   {
      ReachabilityGraph value = new ReachabilityGraph();
      withParent(value);
      return value;
   } 


   private TreeMap certificates2nodes;


   private HashMap node2certificates;
   
   public HashMap getNode2certificates()
   {
      return node2certificates;
   }


   //==========================================================================
   public static final String PROPERTY_GRAPHROOT = "graphRoot";
   
   private Object graphRoot;
   
   public Object getGraphRoot()
   {
      return this.graphRoot;
   }
   
   public void setGraphRoot(Object value)
   {
      if (this.graphRoot != value)
      {
         Object oldValue = this.graphRoot;
         this.graphRoot = value;
         getPropertyChangeSupport().firePropertyChange(PROPERTY_GRAPHROOT, oldValue, value);
      }
   }
   
   public ReachableState withGraphRoot(Object value)
   {
      setGraphRoot(value);
      return this;
   } 

   
   //==========================================================================
   
   public static final String PROPERTY_NUMBER = "number";
   
   private long number;

   public long getNumber()
   {
      return this.number;
   }
   
   public void setNumber(long value)
   {
      if (this.number != value)
      {
         long oldValue = this.number;
         this.number = value;
         getPropertyChangeSupport().firePropertyChange(PROPERTY_NUMBER, oldValue, value);
      }
   }
   
   public ReachableState withNumber(long value)
   {
      setNumber(value);
      return this;
   } 

   @Override
   public String toString()
   {
      StringBuilder result = new StringBuilder();
      
      result.append(" ").append(this.getNumber());
      result.append(" ").append(this.getMetricValue());
      return result.substring(1);
   }


   
   /********************************************************************
    * 
        *              one                       many
    * ReachableState ----------------------------------- RuleApplication
    *              src                   ruleapplications
    * 
    
    */
   
   public static final String PROPERTY_RULEAPPLICATIONS = "ruleapplications";
   
   private RuleApplicationSet ruleapplications = null;
   
   public RuleApplicationSet getRuleapplications()
   {
      if (this.ruleapplications == null)
      {
         return RuleApplication.EMPTY_SET;
      }
   
      return this.ruleapplications;
   }
   
   public boolean addToRuleapplications(RuleApplication value)
   {
      boolean changed = false;
      
      if (value != null)
      {
         if (this.ruleapplications == null)
         {
            this.ruleapplications = new RuleApplicationSet();
         }
         
         changed = this.ruleapplications.add (value);
         
         if (changed)
         {
            value.withSrc(this);
            getPropertyChangeSupport().firePropertyChange(PROPERTY_RULEAPPLICATIONS, null, value);
         }
      }
         
      return changed;   
   }
   
   public boolean removeFromRuleapplications(RuleApplication value)
   {
      boolean changed = false;
      
      if ((this.ruleapplications != null) && (value != null))
      {
         changed = this.ruleapplications.remove(value);
         
         if (changed)
         {
            value.setSrc(null);
            getPropertyChangeSupport().firePropertyChange(PROPERTY_RULEAPPLICATIONS, value, null);
         }
      }
         
      return changed;   
   }
   
   public ReachableState withRuleapplications(RuleApplication value)
   {
      addToRuleapplications(value);
      return this;
   } 
   
   public ReachableState withoutRuleapplications(RuleApplication value)
   {
      removeFromRuleapplications(value);
      return this;
   } 
   
   public void removeAllFromRuleapplications()
   {
      LinkedHashSet tmpSet = new LinkedHashSet(this.getRuleapplications());
   
      for (RuleApplication value : tmpSet)
      {
         this.removeFromRuleapplications(value);
      }
   }
   
   public RuleApplication createRuleapplications()
   {
      RuleApplication value = new RuleApplication();
      withRuleapplications(value);
      return value;
   } 

   
   /********************************************************************
    * 
        *              one                       many
    * ReachableState ----------------------------------- RuleApplication
    *              tgt                   resultOf
    * 
    
    */
   
   public static final String PROPERTY_RESULTOF = "resultOf";
   
   private RuleApplicationSet resultOf = null;
   
   public RuleApplicationSet getResultOf()
   {
      if (this.resultOf == null)
      {
         return RuleApplication.EMPTY_SET;
      }
   
      return this.resultOf;
   }
   
   public boolean addToResultOf(RuleApplication value)
   {
      boolean changed = false;
      
      if (value != null)
      {
         if (this.resultOf == null)
         {
            this.resultOf = new RuleApplicationSet();
         }
         
         changed = this.resultOf.add (value);
         
         if (changed)
         {
            value.withTgt(this);
            getPropertyChangeSupport().firePropertyChange(PROPERTY_RESULTOF, null, value);
         }
      }
         
      return changed;   
   }
   
   public boolean removeFromResultOf(RuleApplication value)
   {
      boolean changed = false;
      
      if ((this.resultOf != null) && (value != null))
      {
         changed = this.resultOf.remove(value);
         
         if (changed)
         {
            value.setTgt(null);
            getPropertyChangeSupport().firePropertyChange(PROPERTY_RESULTOF, value, null);
         }
      }
         
      return changed;   
   }
   
   public ReachableState withResultOf(RuleApplication value)
   {
      addToResultOf(value);
      return this;
   } 
   
   public ReachableState withoutResultOf(RuleApplication value)
   {
      removeFromResultOf(value);
      return this;
   } 
   
   public void removeAllFromResultOf()
   {
      LinkedHashSet tmpSet = new LinkedHashSet(this.getResultOf());
   
      for (RuleApplication value : tmpSet)
      {
         this.removeFromResultOf(value);
      }
   }
   
   public RuleApplication createResultOf()
   {
      RuleApplication value = new RuleApplication();
      withResultOf(value);
      return value;
   } 

   public ReachableState withRuleapplications(RuleApplication... value)
   {
      if(value==null){
         return this;
      }
      for (RuleApplication item : value)
      {
         addToRuleapplications(item);
      }
      return this;
   }

   public ReachableState withoutRuleapplications(RuleApplication... value)
   {
      for (RuleApplication item : value)
      {
         removeFromRuleapplications(item);
      }
      return this;
   }

   public ReachableState withResultOf(RuleApplication... value)
   {
      if(value==null){
         return this;
      }
      for (RuleApplication item : value)
      {
         addToResultOf(item);
      }
      return this;
   } 

   public ReachableState withoutResultOf(RuleApplication... value)
   {
      for (RuleApplication item : value)
      {
         removeFromResultOf(item);
      }
      return this;
   }

   
   //==========================================================================
   
   public static final String PROPERTY_METRICVALUE = "metricValue";
   
   private double metricValue;

   public double getMetricValue()
   {
      return this.metricValue;
   }
   
   public void setMetricValue(double value)
   {
      if (this.metricValue != value) {
      
         double oldValue = this.metricValue;
         this.metricValue = value;
         getPropertyChangeSupport().firePropertyChange(PROPERTY_METRICVALUE, oldValue, value);
      }
   }
   
   public ReachableState withMetricValue(double value)
   {
      setMetricValue(value);
      return this;
   } 
}

    
    
    
    

    




    
    
    © 2015 - 2025 Weber Informatics LLC | Privacy Policy