/**
* Copyright 2010 JBoss Inc
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package org.drools.guvnor.client.rulefloweditor;
/*
* Copyright 2005 JBoss Inc
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
import com.google.gwt.user.client.DOM;
import com.google.gwt.user.client.Element;
public class RuleFlowRoundPanel extends RuleFlowRoundedPanel {
/**
* Lookup table for corner border width
*/
private final static String[] CORNERBORDER = {"1px", "1px", "1px", "1px", "1px", "1px", "1px", "2px", "2px", "2px", "3px", "3px", "2px", "2px", "4px", "1px"};
/**
* Lookup table for corner height
*/
private final static String[] CORNERHEIGHT = {"1px", "2px", "2px", "1px", "1px", "1px", "1px", "1px", "1px", "1px", "1px", "1px", "1px", "1px", "1px", "1px"};
private final static String[] CORNERMARGIN = {"1px", "1px", "1px", "2px", "2px", "3px", "4px", "5px", "6px", "8px", "9px", "11px", "14px", "16px", "18px", "22px"};
public RuleFlowRoundPanel(int cornerHeight) {
// super( ALL,
// cornerHeight );
super( ALL,
9 );
}
protected Element addLine(int corner,
int heightIndex) {
String margin = "0 " + RuleFlowRoundPanel.CORNERMARGIN[heightIndex];
Element div = DOM.createDiv();
DOM.setStyleAttribute( div,
"fontSize",
"0px" );
DOM.setStyleAttribute( div,
"height",
RuleFlowRoundPanel.CORNERHEIGHT[heightIndex] );
DOM.setStyleAttribute( div,
"borderWidth",
"0 " + RuleFlowRoundPanel.CORNERBORDER[heightIndex] );
DOM.setStyleAttribute( div,
"lineHeight",
RuleFlowRoundPanel.CORNERHEIGHT[heightIndex] );
DOM.setStyleAttribute( div,
"margin",
margin );
DOM.setInnerHTML( div,
" " );
DOM.appendChild( getElement(), // body
div );
return div;
}
}