Package: IDbgpOvertureCommands

IDbgpOvertureCommands

Coverage

1: /*
2: * #%~
3: * org.overture.ide.debug
4: * %%
5: * Copyright (C) 2008 - 2014 Overture
6: * %%
7: * This program is free software: you can redistribute it and/or modify
8: * it under the terms of the GNU General Public License as
9: * published by the Free Software Foundation, either version 3 of the
10: * License, or (at your option) any later version.
11: *
12: * This program is distributed in the hope that it will be useful,
13: * but WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15: * GNU General Public License for more details.
16: *
17: * You should have received a copy of the GNU General Public
18: * License along with this program. If not, see
19: * <http://www.gnu.org/licenses/gpl-3.0.html>.
20: * #~%
21: */
22: package org.overture.ide.debug.core.dbgp.commands;
23:
24: import java.io.File;
25:
26: import org.overture.ide.debug.core.dbgp.exceptions.DbgpException;
27:
28: public interface IDbgpOvertureCommands
29: {
30:
31:         public void getCoverage(File file) throws DbgpException;
32:
33:         public String writeCompleteCoverage(File file) throws DbgpException;
34:
35:         public void writeLog(String file) throws DbgpException;
36:
37:         public void init() throws DbgpException;
38:
39:         public void getCurrentline() throws DbgpException;
40:
41:         public void getSource() throws DbgpException;
42:
43:         public void writeLatex(File dir, File file) throws DbgpException;
44:
45:         public void writeLatexdoc(File dir, File file) throws DbgpException;
46:
47:         public void getPog(String name) throws DbgpException;
48:
49:         public void getStack() throws DbgpException;
50:
51:         public void getList() throws DbgpException;
52:
53:         public void getFiles() throws DbgpException;
54:
55:         public void getClasses() throws DbgpException;
56:
57:         public void getModules() throws DbgpException;
58:
59:         public void getDefault(String name) throws DbgpException;
60:
61:         public void createInstance(String var, String exp) throws DbgpException;
62:
63:         public void writeTrace(File file, int lnum, String display)
64:                         throws DbgpException;
65:
66:         public void runTrace(String name, int testNo, boolean debug)
67:                         throws DbgpException;
68:
69: }