📄 constraintspanel.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
*/
/****************************************************************************
* ConstraintsPanel.java
*
* Panel through which task constraints are entered
***************************************************************************/
package zeus.generator.task;
import java.awt.*;
import java.awt.event.*;
import java.util.*;
import javax.swing.*;
import javax.swing.border.*;
import javax.swing.table.*;
import javax.swing.text.*;
import javax.swing.event.*;
import zeus.util.*;
import zeus.concepts.*;
import zeus.generator.*;
import zeus.generator.util.*;
import zeus.gui.fields.*;
import zeus.gui.editors.*;
import zeus.gui.help.*;
public class ConstraintsPanel extends JPanel {
static final String[] ERROR_MESSAGE = {
/* 0 */ "Please select a row before\ncalling this operation"
};
protected Task task;
protected JTable constraintsTable;
protected JTable orderingTable;
protected OrderingModel orderingModel;
protected ConstraintsModel constraintsModel;
protected BasicFactModel precondsModel;
protected BasicFactModel postcondsModel;
public ConstraintsPanel(AgentGenerator generator,
GeneratorModel genmodel,
OntologyDb ontologyDb,
TaskEditor editor,
Task task,
BasicFactModel precondsModel,
BasicFactModel postcondsModel) {
this.task = task;
this.precondsModel = precondsModel;
this.postcondsModel = postcondsModel;
GridBagLayout gridBagLayout = new GridBagLayout();
GridBagConstraints gbc = new GridBagConstraints();
setLayout(gridBagLayout);
setBackground(Color.lightGray);
setBorder(BorderFactory.createBevelBorder(BevelBorder.LOWERED));
// Add the control panel
ControlPanel controlPane =
new ControlPanel(editor,"Task Constraints",false,true);
gbc.gridwidth = GridBagConstraints.REMAINDER;
gbc.anchor = GridBagConstraints.NORTHWEST;
gbc.fill = GridBagConstraints.HORIZONTAL;
gbc.insets = new Insets(8,8,8,8);
gridBagLayout.setConstraints(controlPane,gbc);
add(controlPane);
JPanel orderingPanel = null;
if ( task.isPrimitive() ) {
orderingPanel = new JPanel();
gbc.gridwidth = GridBagConstraints.REMAINDER;
gbc.anchor = GridBagConstraints.WEST;
gbc.fill = GridBagConstraints.BOTH;
gbc.insets = new Insets(8,8,8,8);
gridBagLayout.setConstraints(orderingPanel,gbc);
add(orderingPanel);
}
// Add the panel containing the task's applicability constraints
// to this panel.
JPanel constraintsPanel = new JPanel();
gbc.anchor = GridBagConstraints.NORTHWEST;
gbc.fill = GridBagConstraints.BOTH;
gbc.weightx = gbc.weighty = 1;
gbc.insets = new Insets(8,8,8,8);
gridBagLayout.setConstraints(constraintsPanel,gbc);
add(constraintsPanel);
TableColumnModel tm;
TableColumn column;
ValidatingCellRenderer renderer;
TitledBorder border;
JToolBar toolbar;
JScrollPane scrollPane;
// Ordering panel info
if ( task.isPrimitive() ) {
orderingModel = new OrderingModel(precondsModel,((PrimitiveTask)task).getOrdering());
orderingModel.addChangeListener(editor);
tm = new DefaultTableColumnModel();
renderer = new ValidatingCellRenderer(orderingModel);
OrderingCellEditor cellEditor = new OrderingCellEditor();
column = new TableColumn(OrderingModel.BEFORE,12,renderer,cellEditor);
column.setHeaderValue(orderingModel.getColumnName(OrderingModel.BEFORE));
tm.addColumn(column);
column = new TableColumn(OrderingModel.AFTER,12,renderer,cellEditor);
column.setHeaderValue(orderingModel.getColumnName(OrderingModel.AFTER));
tm.addColumn(column);
orderingTable = new JTable(orderingModel,tm);
orderingTable.getTableHeader().setReorderingAllowed(false);
orderingTable.setColumnSelectionAllowed(false);
toolbar = new OrderingToolBar();
border = BorderFactory.createTitledBorder("Preconditions Ordering Constraints");
border.setTitlePosition(TitledBorder.TOP);
border.setTitleJustification(TitledBorder.RIGHT);
border.setTitleFont(new Font("Helvetica", Font.BOLD, 14));
border.setTitleColor(Color.blue);
orderingPanel.setBorder(border);
gridBagLayout = new GridBagLayout();
orderingPanel.setLayout(gridBagLayout);
orderingPanel.setBackground(Color.lightGray);
scrollPane = new JScrollPane(orderingTable);
scrollPane.setBorder(new BevelBorder(BevelBorder.LOWERED));
scrollPane.setPreferredSize(new Dimension(340,150));
orderingTable.setBackground(Color.white);
orderingTable.setMinimumSize(new Dimension(400,200));
gbc = new GridBagConstraints();
gbc.anchor = GridBagConstraints.WEST;
gbc.fill = GridBagConstraints.NONE;
gbc.gridwidth = GridBagConstraints.REMAINDER;
gbc.insets = new Insets(0,8,0,0);
gridBagLayout.setConstraints(toolbar,gbc);
orderingPanel.add(toolbar);
gbc = new GridBagConstraints();
gbc.gridwidth = GridBagConstraints.REMAINDER;
gbc.anchor = GridBagConstraints.WEST;
gbc.fill = GridBagConstraints.BOTH;
gbc.weightx = gbc.weighty = 1;
gbc.insets = new Insets(8,8,8,8);
gridBagLayout.setConstraints(scrollPane,gbc);
orderingPanel.add(scrollPane);
}
// Add constraintsPanel info;
constraintsModel = new ConstraintsModel(
precondsModel,postcondsModel,task.getConstraints());
constraintsModel.addChangeListener(editor);
ExpressionCellEditor cellEditor1 = new ExpressionCellEditor(constraintsModel);
cellEditor1.addMouseListener(new SymMouseAction());
renderer = new ValidatingCellRenderer(constraintsModel);
tm = new DefaultTableColumnModel();
column = new TableColumn(ConstraintsModel.CONSTRAINT,12,
renderer, cellEditor1);
column.setHeaderValue(constraintsModel.getColumnName(ConstraintsModel.CONSTRAINT));
tm.addColumn(column);
constraintsTable = new JTable(constraintsModel,tm);
constraintsTable.getTableHeader().setReorderingAllowed(false);
constraintsTable.setColumnSelectionAllowed(false);
toolbar = new ConstraintsToolBar();
border = BorderFactory.createTitledBorder("Task Applicability Constraints");
border.setTitlePosition(TitledBorder.TOP);
border.setTitleJustification(TitledBorder.RIGHT);
border.setTitleFont(new Font("Helvetica", Font.BOLD, 14));
border.setTitleColor(Color.blue);
constraintsPanel.setBorder(border);
gridBagLayout = new GridBagLayout();
constraintsPanel.setLayout(gridBagLayout);
constraintsPanel.setBackground(Color.lightGray);
scrollPane = new JScrollPane(constraintsTable);
scrollPane.setBorder(new BevelBorder(BevelBorder.LOWERED));
scrollPane.setPreferredSize(new Dimension(340,150));
constraintsTable.setBackground(Color.white);
constraintsTable.setMinimumSize(new Dimension(400,200));
// constraintsTable.setPreferredSize(new Dimension(400,200));
gbc = new GridBagConstraints();
gbc.anchor = GridBagConstraints.WEST;
gbc.fill = GridBagConstraints.NONE;
gbc.gridwidth = GridBagConstraints.REMAINDER;
gbc.insets = new Insets(0,8,0,0);
gridBagLayout.setConstraints(toolbar,gbc);
constraintsPanel.add(toolbar);
gbc = new GridBagConstraints();
gbc.gridwidth = GridBagConstraints.REMAINDER;
gbc.anchor = GridBagConstraints.WEST;
gbc.fill = GridBagConstraints.BOTH;
gbc.weightx = gbc.weighty = 1;
gbc.insets = new Insets(8,8,8,8);
gridBagLayout.setConstraints(scrollPane,gbc);
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -