Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
%% init
% initialize the Validation report, set up the gui
% inputs:
% object:ValidationReport - current object
% outputs:
% none
function [] = init(object)
if size(object.PVS_results,2) == 0
else
object.fig_width = object.offset + object.TCC_width + object.offset + object.seq_width + object.offset + object.ce_width + object.offset;
object.fig_height = object.offset + object.header_height + object.offset + object.seq_height + object.offset;
object.fig = figure('units','pixels',...
'position',[0, 0, object.fig_width, object.fig_height ],...
'menubar','none',...
'name','PVS Report',...
'numbertitle','off',...
'resize','off',...
'CloseRequestFcn',@(src,event)close_req_call(object,src,event));
stop = 0;
i = 1;
count = 0;
%first i will be '1234a'
object.edit_tcc = uicontrol('style','edit',...
'Parent',object.fig,...
'units','pix',...
'min',0,'max',1,... % This is the key to multiline edits.
'Max',2.0,...
'Clipping','on',...
'fontweight','bold',...
'BackgroundColor',[1 1 1],...
'horizontalalign','center',...
'fontsize',11);
object.edit_seq = uicontrol('style','edit',...
'Parent',object.fig,...
'units','pix',...
'min',0,'max',1,... % This is the key to multiline edits.
'Max',2.0,...
'Clipping','on',...
'fontweight','bold',...
'BackgroundColor',[1 1 1],...
'horizontalalign','left',...
'fontsize',11);
object.edit_ce = uicontrol('style','edit',...
'Parent',object.fig,...
'units','pix',...
'min',0,'max',1,... % This is the key to multiline edits.
'Max',2.0,...
'Clipping','on',...
'fontweight','bold',...
'BackgroundColor',[1 1 1],...
'horizontalalign','left',...
'fontsize',11);
object.pb_next = uicontrol('style','push',...
'units','pix',...
'string','Next',...
'HorizontalAlign','left',...
'Parent',object.fig,...
'callback',@(src,event)pb_next_call(object,src,event));
if(size(object.PVS_results,2)<=1)
set(object.pb_next,'enable','off');
end
object.pb_prev = uicontrol('style','push',...
'units','pix',...
'string','Prev',...
'HorizontalAlign','left',...
'Parent',object.fig,...
'enable','off',...
'callback',@(src,event)pb_prev_call(object,src,event));
object.label_tcc = uicontrol('style','text',...
'string','TCC Name',...
'HorizontalAlign','left',...
'BackgroundColor',get(object.fig,'Color'));
object.label_seq = uicontrol('style','text',...
'string','Sequent',...
'HorizontalAlign','left',...
'BackgroundColor',get(object.fig,'Color'));
object.label_ce = uicontrol('style','text',...
'string','Counter Example',...
'HorizontalAlign','left',...
'BackgroundColor',get(object.fig,'Color'));
object.label_page = uicontrol('style','text',...
'string','',...
'HorizontalAlign','center',...
'BackgroundColor',get(object.fig,'Color'));
object.label_title = uicontrol('style','text',...
'string','Typecheck Summary',...
'HorizontalAlign','left',...
'FontWeight','bold',...
'FontSize',15,...
'BackgroundColor',get(object.fig,'Color'));
object.pb_open = uicontrol('style','push',...
'units','pix',...
'string','Open PVS',...
'HorizontalAlign','left',...
'Parent',object.fig,...
'enable','on',...
'callback',@(src,event)pb_open_call(object,src,event));
object.position;
object.populate;
end
end