BlackBoard blackBoard
src/graphlab/extensions/algorithms/CholeskyFactorizationExtension.java
super(blackBoard);
public CholeskyFactorizationExtension(BlackBoard blackBoard)
BlackBoard b
src/graphlab/graph/ui/GHTMLPageComponent.java
blackboard = b;

        jta = new JEditorPane();
        jta.setEditable(false);
        jta.addHyperlinkListener(this);
        JViewport jvp = new JViewport();

        jta.setBackground(Color.white);
        jvp.add(jta);
        jta.setContentType("text/html");

        this.setViewport(jvp);
public GHTMLPageComponent(BlackBoard b)
URL page
src/graphlab/graph/ui/GHTMLPageComponent.java
try {
            jta.setPage(page);
void setPage(URL page)
String html
src/graphlab/graph/ui/GHTMLPageComponent.java
jta.setText(html);
void setHTML(String html)
src/graphlab/graph/ui/GHTMLPageComponent.java
return jta;
JEditorPane getEditorPane()
src/graphlab/graph/ui/GHTMLPageComponent.java
jta.setEditable(true);
        DefaultCaret caret = (DefaultCaret) jta.getCaret();
        caret.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);
void makeEditable()
String html
src/graphlab/graph/ui/GHTMLPageComponent.java
StringBuffer sb9 = new StringBuffer();
        String pointtext = jta.getText();

        sb9.append("<html><body>");
        sb9.append(html);
        sb9.append("</body></html>");


        try {
            Document doc = (Document) jta.getDocument();

            ((HTMLEditorKit) jta.getEditorKit()).read(
                    new java.io.StringReader(sb9.toString())
                    , jta.getDocument()
                    , jta.getDocument().getLength());
void appendHTML(String html)
String protocol  HyperlinkHandler h
src/graphlab/graph/ui/GHTMLPageComponent.java
handlers.put(protocol.toUpperCase(), h);
void registerHyperLinkHandler(String protocol, HyperlinkHandler h)
HyperlinkEvent e
src/graphlab/graph/ui/GHTMLPageComponent.java
if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
            String url = e.getDescription();
            if (!url.contains("="))
                normalHyperlinkUpdate(e);
            else {
//                String prefix = url.toUpperCase().substring(0, url.indexOf(":"));
                HyperlinkHandler han = null;
                String postfix;
                int pi = url.indexOf("handler");
                if (pi != -1) {
                    postfix = url.toUpperCase().substring(pi + 8);
                    han = handlers.get(postfix);
void hyperlinkUpdate(HyperlinkEvent e)
HyperlinkEvent e
src/graphlab/graph/ui/GHTMLPageComponent.java
JEditorPane pane = (JEditorPane) e.getSource();
        if (e instanceof HTMLFrameHyperlinkEvent) {
            HTMLFrameHyperlinkEvent evt = (HTMLFrameHyperlinkEvent) e;
            HTMLDocument doc = (HTMLDocument) pane.getDocument();
            doc.processHTMLFrameHyperlinkEvent(evt);
void normalHyperlinkUpdate(HyperlinkEvent e)
String message
src/graphlab/graph/ui/GHTMLPageComponent.java
setHTML(message);
void showNotificationMessage(String message)
String message
src/graphlab/graph/ui/GHTMLPageComponent.java
setHTML(message);
        this.message = message;
void setMessage(String message)
src/graphlab/graph/ui/GHTMLPageComponent.java
setHTML(message);
void hideNotificationMessage()
ActionListener listener  BlackBoard blackboard
src/graphlab/plugins/algorithmanimator/AnimatorGUI.java
this.blackboard = blackboard;
        pauseButton.addActionListener(listener);
        playButton.addActionListener(listener);
        playOneStepButton.addActionListener(listener);
public AnimatorGUI(ActionListener listener, BlackBoard blackboard)
src/graphlab/plugins/algorithmanimator/AnimatorGUI.java
String html = "<html>" +
                "<head>" +
                "<style type='text/css'>" +
                "body{ font-family: monospace;
void createUIComponents()
BlackBoard blackBoard
src/graphlab/plugins/algorithmanimator/core/GraphAlgorithm.java
this.blackBoard = blackBoard;
        this.graphData = new GraphData(blackBoard);
    
    public String getMatrixHTML(GraphModel g){
        return graphData.saveLoad.Graph2MatrixHTML(g);
public GraphAlgorithm(BlackBoard blackBoard)
GraphModel g
src/graphlab/plugins/main/saveload/SaveLoadPluginMethods.java
public String Graph2MatrixHTML(GraphModel g){
        return (Matrix.Matrix2HTML(Matrix.graph2Matrix(g)));
String Graph2MatrixString(GraphModel g)
int[][] mat  GraphModel g
src/graphlab/plugins/main/saveload/matrix/Matrix.java
int n = mat.length;
        int nn = mat[1].length;
        if (n != nn) {
            JOptionPane.showMessageDialog(null, "not a valid matrix graph");
            return;
void Matrix2Graph(int[][] mat, GraphModel g)
Object[][] mat
src/graphlab/plugins/main/saveload/matrix/Matrix.java
int a = mat.length;
        if (a == 0)
            return "";
        int b = mat[0].length;
        String ret = "<table>";
        for (int i = 0; i < a; i++) {
            ret += "<tr>";
            for (int j = 0; j < b; j++) {
                if(mat[i][j]!=null)
                    ret += "<td>" + ((Number)(mat[i][j])).intValue() + "</td>";
                else
                    ret += "<td>0</td>";
//                ret += (mat[i][j] ? "1" : "0");
//                ret += " ";
String Matrix2HTML(Object[][] mat)
Object[][] mat
src/graphlab/plugins/main/saveload/matrix/Matrix.java
int a = mat.length;
        if (a == 0)
            return "";
        int b = mat[0].length;
        String ret = "";
        for (int i = 0; i < a; i++) {
            for (int j = 0; j < b; j++) {
            	if(mat[i][j]!=null)
            		ret += ((Number)(mat[i][j])).intValue() + " ";
            	else
            		ret += "0 ";
//                ret += (mat[i][j] ? "1" : "0");
//                ret += " ";
String Matrix2String(Object[][] mat)
BlackBoard b
src/graphlab/graph/ui/GHTMLPageComponent.java
blackboard = b;

        jta = new JEditorPane();
        jta.setEditable(false);
        jta.addHyperlinkListener(this);
        JViewport jvp = new JViewport();

        jta.setBackground(Color.white);
        jvp.add(jta);
        jta.setContentType("text/html");

        this.setViewport(jvp);
public GHTMLPageComponent(BlackBoard b)
URL page
src/graphlab/graph/ui/GHTMLPageComponent.java
try {
            jta.setPage(page);
void setPage(URL page)
String html
src/graphlab/graph/ui/GHTMLPageComponent.java
jta.setText(html);
void setHTML(String html)
String protocol  HyperlinkHandler h
src/graphlab/graph/ui/GHTMLPageComponent.java
handlers.put(protocol.toUpperCase(), h);
void registerHyperLinkHandler(String protocol, HyperlinkHandler h)
HyperlinkEvent e
src/graphlab/graph/ui/GHTMLPageComponent.java
if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
            String url = e.getDescription();
            if (!url.contains("="))
                normalHyperlinkUpdate(e);
            else {
//                String prefix = url.toUpperCase().substring(0, url.indexOf(":"));
                HyperlinkHandler han = null;
                String postfix;
                int pi = url.indexOf("handler");
                if (pi != -1) {
                    postfix = url.toUpperCase().substring(pi + 8);
                    han = handlers.get(postfix);
void hyperlinkUpdate(HyperlinkEvent e)
HyperlinkEvent e
src/graphlab/graph/ui/GHTMLPageComponent.java
JEditorPane pane = (JEditorPane) e.getSource();
        if (e instanceof HTMLFrameHyperlinkEvent) {
            HTMLFrameHyperlinkEvent evt = (HTMLFrameHyperlinkEvent) e;
            HTMLDocument doc = (HTMLDocument) pane.getDocument();
            doc.processHTMLFrameHyperlinkEvent(evt);
void normalHyperlinkUpdate(HyperlinkEvent e)
String message
src/graphlab/graph/ui/GHTMLPageComponent.java
setHTML(message);
void showNotificationMessage(String message)
String message
src/graphlab/graph/ui/GHTMLPageComponent.java
setHTML(message);
        this.message = message;
void setMessage(String message)
src/graphlab/graph/ui/GHTMLPageComponent.java
setHTML(message);
void hideNotificationMessage()
ActionListener listener
src/graphlab/plugins/algorithmanimator/AnimatorGUI.java
pauseButton.addActionListener(listener);
        playButton.addActionListener(listener);
        playOneStepButton.addActionListener(listener);
public AnimatorGUI(ActionListener listener)
String lbl  Dimension d
src/graphlab/plugins/algorithmanimator/core/AlgorithmAnimator.java
//        JButton play = new JButton(lbl);
//        play.setSize(d);
//        play.addActionListener(this);
//        f.add(play);
//
void addBtn(String lbl, Dimension d)
int[][] mat  GraphModel g
src/graphlab/plugins/main/saveload/matrix/Matrix.java
int n = mat.length;
        int nn = mat[1].length;
        if (n != nn) {
            JOptionPane.showMessageDialog(null, "not a valid matrix graph");
            return;
void Matrix2Graph(int[][] mat, GraphModel g)
Object[][] mat
src/graphlab/plugins/main/saveload/matrix/Matrix.java
int a = mat.length;
        if (a == 0)
            return "";
        int b = mat[0].length;
        String ret = "";
        for (int i = 0; i < a; i++) {
            for (int j = 0; j < b; j++) {
            	if(mat[i][j]!=null)
            		ret += ((Number)(mat[i][j])).intValue() + " ";
            	else
            		ret += "0 ";
//                ret += (mat[i][j] ? "1" : "0");
//                ret += " ";
String Matrix2String(Object[][] mat)