KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > SOFA > SOFAnode > Util > DFSRChecker > backend > IBackend


1 /*
2  * $Id: IBackend.java,v 1.4 2005/07/08 12:04:11 kofron Exp $
3  *
4  * Copyright 2004
5  * Distributed Systems Research Group
6  * Department of Software Engineering
7  * Faculty of Mathematics and Physics
8  * Charles University, Prague
9  *
10  * Copyright 2005
11  * Formal Methods In Software Engineering Group
12  * Institute of Computer Science
13  * Academy of Sciences of the Czech Republic
14  *
15  * This code was developed by Jan Kofron <kofron@nenya.ms.mff.cuni.cz>
16  */
17
18 package SOFA.SOFAnode.Util.DFSRChecker.backend;
19
20
21 import SOFA.SOFAnode.Util.DFSRChecker.CheckingResult;
22 import SOFA.SOFAnode.Util.DFSRChecker.node.TreeNode;
23
24 /**
25  * This is the checker backend interface for either checking or visualization.
26  */
27 public interface IBackend {
28
29     /**
30      * Performs the backend action (i.e., compliance test or visualization).
31      *
32      * @return the string with error description or null if no error occurs
33      */
34     public CheckingResult perform(TreeNode[] nodes, String JavaDoc[] synchroops, String JavaDoc[] unboundops);
35 }
Popular Tags