Annotate Patch Side-by-side Diff

Differences From Artifact [adbc638c46]:

To Artifact [6345e1c4b6]:

1


2
3
4
5
6
7
8


1
2
3
4
5
6
7
8
9

-
+
+








function [known] = mtt_component_eqn (fullname, port, causality, known)
function [known] = mtt_component_eqn (fullname, port, causality, \
				      known, Cbg)

  ## function [known] = mtt_component_eqn (fullname, port, causality, known)
  ##
  ## Recursively finds the equations giving the signal of specified
  ## causality on the specified port of component named "name" within
  ## subsystem Name
︙
32
33
34
35
36
37
38
39

40
41
42

43
44
45
46
47
48
49
50
51
52
53
54
55

33
34
35
36
37
38
39

40



41






42
43
44
45
46
47
48








-
+
-
-
-
+
-
-
-
-
-
-








  endif
  
  eqn="## No equation -- something wrong"; # Default

  if length(known)<2		# Invalid
    known = "  ";
  endif
  

  ## File containing data structure
  cbg_file = sprintf("%s_cbg",Name);

  cbg = mtt_cbg(Name);		# Structure for this subsystem
  if (exist(cbg_file)==0)
    error(sprintf("mtt_component_eqn: subystem \"%s\" does not exist", Name));
  endif
  
  ## Subsystem data structure
  cbg = eval(sprintf("%s;", cbg_file));

  if struct_contains (cbg, "ports")
    ## Combine ports with the other subsystems
    for [component_structure, component] = cbg.ports
      eval(sprintf("cbg.subsystems.%s=cbg.ports.%s;",component,component));
    endfor
  endif
︙
66
67
68
69
70
71
72
73


74
75
76
77
78
79
80

59
60
61
62
63
64
65

66
67
68
69
70
71
72
73
74








-
+
+








    if port>N_ports
      error(sprintf("port (%i) > N_ports (%i)", port, N_ports));
    else			# Get name and find equation
      name = deblank(cbg.portlist(port,:));
      if DEBUG
	disp("----> lower-level system")
      endif
      known = mtt_component_eqn (mtt_fullname(Name,name), 1, causality, known);
      known = mtt_component_eqn (mtt_fullname(Name,name), 1, \
				 causality, known, cbg);
      return
    endif
  endif
  

  ## Other causality representations
  if strcmp(causality,"effort")
︙
174
175
176
177
178
179
180
181
182

183
184
185
186
187
188
189
190
191
192
193
194


195
196
197
198
199
200
201
202


203
204
205
206
207
208
209

168
169
170
171
172
173
174


175







176
177
178


179
180
181
182
183
184
185
186
187

188
189
190
191
192
193
194
195
196








-
-
+
-
-
-
-
-
-
-



-
-
+
+







-
+
+








	port_index = i;
	break;
      endif
    endfor

    ## File containing data structure
    NAME = mtt_subname(Name);
    Cbg_file = sprintf("%s_cbg",NAME);

    CBG = mtt_cbg(NAME);
    if (exist(Cbg_file)==0)
      error(sprintf("mtt_component_eqn: subsystem %s does not exist", NAME));
    endif
    
    ## System data structure
    Cbg = eval(sprintf("%s;", Cbg_file));
    
    
    ## And to which component (at higher level) is it connected?
    [new_Name,new_name] = mtt_subname(Name);
    port_bond = eval(sprintf("Cbg.subsystems.%s.connections(%i);", new_name, port_index));
    [in_name, in_port, in_bond] = mtt_other_end (new_name,port_bond,Cbg);
    port_bond = eval(sprintf("CBG.subsystems.%s.connections(%i);", new_name, port_index));
    [in_name, in_port, in_bond] = mtt_other_end (new_name,port_bond,CBG);

    ## Find its equation
    if DEBUG
      disp("----> higher level system")
    endif
    

    known = mtt_component_eqn (mtt_fullname(new_Name,in_name), in_port, causality, known);
    known = mtt_component_eqn (mtt_fullname(new_Name,in_name), \
			       in_port, causality, known, cbg);

    LHS = Source_seqn ("external",Name);
    RHS = varname(NAME, abs(in_bond), i_cause);
    eqn = sprintf("%s%s%s := %s;", LHS, SD, name, RHS);

    if !DEBUG
      comment = sprintf("%s PORT", CD);
︙
222
223
224
225
226
227
228
229

230
231

232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249

250
251
252
253
254
255
256

209
210
211
212
213
214
215

216


217






218
219
220
221
222
223
224
225
226
227
228

229
230
231
232
233
234
235
236








-
+
-
-
+
-
-
-
-
-
-











-
+








      ## Do the equations
      [eqn,insigs,innames] = eval(sprintf("%s_seqn (Name, name, cr, arg, outsig, insigs, innames);", comp_type));
    else			# Compound component
      new_NAME = Name;
      new_Name = mtt_fullname(Name,name);
      new_name = "";
      
      ## File containing data structure
      ## Get relevant data structure
      Cbg_file = sprintf("%s_cbg",new_Name);

      Cbg = mtt_cbg(new_Name);
      if (exist(Cbg_file)==0)
	error(sprintf("mtt_component_eqn: subsystem %s does not exist", new_Name));
      endif
      
      ## System data structure
      Cbg = eval(sprintf("%s;", Cbg_file));
      port_name = Cbg.portlist(port,:);

      LHS = varname(Name, outsig(1,1), outsig(1,2));
      RHS = Sensor_seqn ("external",new_Name);
      eqn = sprintf("%s := %s%s%s;", LHS, RHS, SD, port_name);

      if DEBUG
	disp("----> same-level subsystem")
      endif

      [known] = mtt_component_eqn \
   	  (mtt_fullname(new_Name,new_name), port, causality, known);
   	  (mtt_fullname(new_Name,new_name), port, causality, known, cbg);
      
    endif
  endif

  comment = \
      sprintf("%s Equation for %s signal on port %i of %s (%s), subsystem %s.", \
     	      CD, causality, port, name, comp_type, Name);
︙
275
276
277
278
279
280
281
282


283
284
285
286
287
288
289
290
291
292

255
256
257
258
259
260
261

262
263
264
265
266
267
268
269
270
271
272
273








-
+
+











      other_name = deblank(innames(i,:));
      if DEBUG
	disp("----> same-level component")
      endif
      

      [known] = mtt_component_eqn \
    	  (mtt_fullname(Name,other_name), other_port, other_causality, known);
    	  (mtt_fullname(Name,other_name), other_port, other_causality, \
	   known, cbg);
    endfor
  endif

  ## Write this signal
  ##comment_2 = sprintf("Connected to:%s", in_component_list);
  if !DEBUG
    disp(sprintf("%s\n%s",comment, eqn));
  endif

endfunction
MTT: Model Transformation Tools
[ GitHub | SourceHut | Sourceforge | Fossil RSS ]