Package: IVdmBreakpoint

IVdmBreakpoint

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.model;
23:
24: import org.eclipse.core.runtime.CoreException;
25: import org.eclipse.debug.core.model.IBreakpoint;
26: import org.overture.ide.debug.core.dbgp.IDbgpSession;
27: import org.overture.ide.debug.core.dbgp.breakpoints.IDbgpBreakpoint;
28:
29: public interface IVdmBreakpoint extends IBreakpoint
30: {
31:
32:         int HIT_CONDITION_GREATER_OR_EQUAL = IDbgpBreakpoint.HIT_CONDITION_GREATER_OR_EQUAL;
33:
34:         int HIT_CONDITION_EQUAL = IDbgpBreakpoint.HIT_CONDITION_EQUAL;
35:
36:         int HIT_CONDITION_MULTIPLE = IDbgpBreakpoint.HIT_CONDITION_MULTIPLE;
37:
38:         /**
39:          * @return
40:          * @throws CoreException
41:          * @deprecated
42:          */
43:
44:         String getIdentifier() throws CoreException;
45:
46:         /**
47:          * @param id
48:          * @throws CoreException
49:          * @deprecated
50:          */
51:
52:         void setIdentifier(String id) throws CoreException;
53:
54:         String[] getIdentifiers();
55:
56:         String getId(IDbgpSession session);
57:
58:         void setId(IDbgpSession session, String identifier);
59:
60:         String removeId(IDbgpSession session);
61:
62:         // Message
63:
64:         String getMessage() throws CoreException;
65:
66:         void setMessage(String message) throws CoreException;
67:
68:         /**
69:          * Returns actual hit count during debugging or -1 if not available.
70:          */
71:
72:         int getHitCount() throws CoreException;
73:
74:         /**
75:          * Sets actual hit count during debugging or -1 if not available.
76:          *
77:          * @param value
78:          * @throws CoreException
79:          */
80:
81:         void setHitCount(int value) throws CoreException;
82:
83:         int getHitCount(IDbgpSession session) throws CoreException;
84:
85:         void setHitCount(IDbgpSession session, int value) throws CoreException;
86:
87:         /**
88:          * Returns the hit count condition
89:          **/
90:
91:         int getHitValue() throws CoreException;
92:
93:         /**
94:          * Sets the hit count condition
95:          *
96:          * @param count
97:          * @throws CoreException
98:          */
99:
100:         void setHitValue(int count) throws CoreException;
101:
102:         // Hit condition
103:
104:         int getHitCondition() throws CoreException;
105:
106:         void setHitCondition(int condition) throws CoreException;
107:
108:         // Resource name
109:
110:         String getResourceName() throws CoreException;
111:
112:         // Expressions
113:
114:         String getExpression() throws CoreException;
115:
116:         void setExpression(String expression) throws CoreException;
117:
118:         /**
119:          * If expression state is true, then this is not line breakpoint, but conditional breakpoint.
120:          */
121:
122:         boolean getExpressionState() throws CoreException;
123:
124:         void setExpressionState(boolean state) throws CoreException;
125:
126:         String[] getUpdatableAttributes();
127:
128:         void clearSessionInfo();
129:
130: }