Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
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 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
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * See the License for the specific language governing permissions and
 * limitations under the License.
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,
                               "0px" );
        DOM.setStyleAttribute( div,
                               RuleFlowRoundPanel.CORNERHEIGHT[heightIndex] );
        DOM.setStyleAttribute( div,
                               "0 " + RuleFlowRoundPanel.CORNERBORDER[heightIndex] );
        DOM.setStyleAttribute( div,
                               RuleFlowRoundPanel.CORNERHEIGHT[heightIndex] );
        DOM.setStyleAttribute( div,
                               margin );
        DOM.setInnerHTML( div,
                          " " );
        DOM.appendChild( getElement(), // body
                         div );
        return div;
New to GrepCode? Check out our FAQ X