ujf.verimag.bip.parser
Class BipCheckType

java.lang.Object
  ujf.verimag.bip.parser.BipCheckType

public class BipCheckType
extends java.lang.Object

Author:

arobert module to do some semantic checks on a BIP file Check are : BIP type coherence : - number of data parameters associated to a port - number of parameters of component or connector instance, - type and number of ports of connectors - same type between exported port and port definition, or internal port Connections : - all exported ports should be connected; - a port may not appear more than one time in a connector

Constructor Summary

BipCheckType(BipTreeError error)

Method Summary

void	checkModel(Module m) Function to check some semantics rules for a bip module: - complete the port and data binding (during compilation phase, information are not complete depending on the declaration order - check bip type coherence - check number of parameters

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BipCheckType

public BipCheckType(BipTreeError error)

Method Detail

checkModel

public void checkModel(Module m)

Function to check some semantics rules for a bip module: - complete the port and data binding (during compilation phase, information are not complete depending on the declaration order - check bip type coherence - check number of parameters

Parameters:

m: - the module to check