⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 rule.java

📁 人工智能中Agent开发包。多 Agent 系统是处理自治 Agent 之间知识层的协作问题
💻 JAVA
字号:
/*
* The contents of this file are subject to the BT "ZEUS" Open Source 
* Licence (L77741), Version 1.0 (the "Licence"); you may not use this file 
* except in compliance with the Licence. You may obtain a copy of the Licence
* from $ZEUS_INSTALL/licence.html or alternatively from
* http://www.labs.bt.com/projects/agents/zeus/licence.htm
* 
* Except as stated in Clause 7 of the Licence, software distributed under the
* Licence is distributed WITHOUT WARRANTY OF ANY KIND, either express or 
* implied. See the Licence for the specific language governing rights and 
* limitations under the Licence.
* 
* The Original Code is within the package zeus.*.
* The Initial Developer of the Original Code is British Telecommunications
* public limited company, whose registered office is at 81 Newgate Street, 
* London, EC1A 7AJ, England. Portions created by British Telecommunications 
* public limited company are Copyright 1996-9. All Rights Reserved.
* 
* THIS NOTICE MUST BE INCLUDED ON ANY COPY OF THIS FILE
*/



package zeus.generator.task.rulebase;

import java.util.*;
import javax.swing.*;
import javax.swing.text.*;
import javax.swing.event.*;
import java.awt.Color;

public class Rule implements DocumentListener  {

      String name;
      int priority;
      PlainDocument lhs;
      PlainDocument rhs;
      protected EventListenerList changeListeners = new EventListenerList();
//------------------------------------------------------------------------------
      public Rule(String name, int priority) {
        this.name = name;
        this.priority = priority;
        lhs = new PlainDocument();
        lhs.addDocumentListener(this);
        rhs = new PlainDocument();
        rhs.addDocumentListener(this);
      }
//--------------------------------------------------------------------------
       public String getName() {
            return name;
       }
//--------------------------------------------------------------------------
       public int getPriority() {
            return priority;
       }
//--------------------------------------------------------------------------
       public PlainDocument getLHS() {
         return lhs;
       }
//--------------------------------------------------------------------------
       public PlainDocument getRHS() {
         return rhs;
       }
//--------------------------------------------------------------------------
       public void setName(String name) {
          this.name = name;
       }
//--------------------------------------------------------------------------
       public void setPriority(int priority) {
          this.priority = priority;
       }
//--------------------------------------------------------------------------
       public String getCondition() {
          try {
            return lhs.getText(0,lhs.getLength());
          }
          catch (BadLocationException e) {
//             e.printStackTrace();
          }
          return null;
       }
//--------------------------------------------------------------------------
       public String getConclusion() {
          try {
            return rhs.getText(0,rhs.getLength());
          }
          catch (BadLocationException e) {
//             e.printStackTrace();
          }
          return null;
       }
//--------------------------------------------------------------------------
      public void setPatterns(Vector patterns) {
           zeus.rete.Pattern pattern;
           int pos = lhs.getStartPosition().getOffset();

	   for(int i = 0; i < patterns.size(); i++ )  {
             pattern = (zeus.rete.Pattern) patterns.elementAt(i);
             try {
	       lhs.insertString(pos,pattern.toString(),null);
             }
             catch (BadLocationException e) {
//               System.out.println("Error (VVV" + pos +")"+  pattern );
	       //e.printStackTrace();
             }
             pos = lhs.getLength();

	     try {
	       lhs.insertString(pos,"\n",null);
             }
	     catch (BadLocationException e) {
//               System.out.println("Error (VVV"+ pos + ")"+  pattern);
	       //e.printStackTrace();
             }
             pos =  lhs.getLength();
           }
      }
//--------------------------------------------------------------------------
      public void setActions(Vector actions) {
         zeus.rete.Action action;
         int pos = rhs.getStartPosition().getOffset();

         for(int i = 0; i < actions.size(); i++ )  {
            action = (zeus.rete.Action) actions.elementAt(i);
            try {
	       rhs.insertString(pos,action.toString(),null);
            }
	    catch (BadLocationException e) {
//               System.out.println("Error (XXX"+ pos + ")"+  action);
	       //e.printStackTrace();
            }

	    pos =  rhs.getLength();

	    try {
               rhs.insertString(pos,"\n",null);
            }
	    catch (BadLocationException e) {
//                System.out.println("Error (XXX"+ pos + ")"+  action);
	       //e.printStackTrace();
            }
            pos = rhs.getLength();
         }
      }
//--------------------------------------------------------------------------
     String getPatterns() {
       try {
          return lhs.getText(0, lhs.getLength());
        }
        catch(BadLocationException e) {
//           e.printStackTrace();
        }
        return "";
     }
//--------------------------------------------------------------------------
     String getActions() {
        try {
          return rhs.getText(0, rhs.getLength());
        }
        catch(BadLocationException e) {
//           e.printStackTrace();
        }
        return "";
     }
//------------------------------------------------------------------------------
     public void insertUpdate(DocumentEvent e) {
        fireChanged();
     }
//------------------------------------------------------------------------------
     public void removeUpdate(DocumentEvent e) {
        fireChanged();
     }
//------------------------------------------------------------------------------
     public void changedUpdate(DocumentEvent e) {
         fireChanged();
     }
//------------------------------------------------------------------------------
     public void addChangeListener(ChangeListener x) {
        changeListeners.add(ChangeListener.class, x);
     }
//------------------------------------------------------------------------------
     public void removeChangeListener(ChangeListener x) {
        changeListeners.remove(ChangeListener.class, x);
     }
//------------------------------------------------------------------------------
     protected void fireChanged() {
        ChangeEvent c = new ChangeEvent(this);
        Object[] listeners = changeListeners.getListenerList();
        for(int i= listeners.length-2; i >= 0; i -=2) {
           if (listeners[i] == ChangeListener.class) {
              ChangeListener cl = (ChangeListener)listeners[i+1];
              cl.stateChanged(c);
           }
        }
     }
//------------------------------------------------------------------------------

}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -