org.vishia.fbcl.fblock

Class DataTypeRef_FBcl

java.lang.Object

org.vishia.fbcl.fblock.DataTypeRef_FBcl

public class DataTypeRef_FBcl
extends java.lang.Object

Contains information about the type of a signal or variable. If types are equal by type propagation, its port of connection should refer the same instance. Especially if the types are equal but not definitive, the definitive type have to be set finally only in this instance if it is defined. For definitive types there is a pool of instances as static here.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DataTypeRef_FBcl.Dependency The first inport of the module with this type.

Field Summary

Fields

Modifier and Type	Field and Description
java.util.List<PinDtype_FBcl>	connections All connctions which uses this type.
java.util.List<DataTypeRef_FBcl.Dependency>	deps All data types instances which should be determine in some aspects one another but other aspects may be different.
(package private) DataType_FBcl	dt The really used DataType.
(package private) static int	instanceCt
(package private) int	instanceId
private static java.util.Map<java.lang.Character,DataTypeRef_FBcl>	mapTypecharToComplex Map to translate a real type to its complex block
(package private) static java.util.Map<java.lang.String,DataTypeRef_FBcl>	stdTypes That are all standard fix types sorted by name of IEC61499.

Constructor Summary

Constructors

Modifier	Constructor and Description
	DataTypeRef_FBcl(DataType_FBcl refdt)
private	DataTypeRef_FBcl(DataType_FBcl refdt, int instanceId)
	DataTypeRef_FBcl(DataTypeRef_FBcl src) Clone a DataType because of create a Instance to a FB-type.

Method Summary

Modifier and Type	Method and Description
boolean	checkCopyFrom(DataTypeRef_FBcl src, int zVectorDim, int what) Checks this against src.
static DataTypeRef_FBcl[]	clone_dtypes(DataTypeRef_FBcl[] orig)
private static java.util.Map<java.lang.String,DataTypeRef_FBcl>	createStdTypes()
void	deregisterConnection(Pin_FBcl con)
boolean	determineFromToAllDependings(DataTypeRef_FBcl src, int zVectorDim, int what) Checks this against src.
boolean	determineNondefAspects(DataTypeRef_FBcl src, int zVectorDim, int what) This operation is called only from Module_FBlock_JgenMdl#replaceTypesInModuleForTranslation(Callmodule_FBlock_JgenMdl) It determines all attributes which are not determined elsewhere.
private void	determineNondefAspectsAllDependings(DataTypeRef_FBcl src, int zVectorDim, java.util.HashMap<DataTypeRef_FBcl,DataTypeRef_FBcl> done, int what, int recursion)
DataType_FBcl	dt()
DataTypeRef_FBcl	findEquDepending(DataTypeRef_FBcl cmp) Searches whether this has an equal depending type as cmp.
static DataTypeRef_FBcl	getDataType(java.lang.String typename, DataType_FBcl.RealOrComplex rcmplx, int sizeArray)
static DataTypeRef_FBcl	getDataType(java.lang.String typename, int sizeArray, int baseArray)
(package private) void	infoConnections(java.lang.Appendable ap)
boolean	isDepending(DataTypeRef_FBcl deptype)
void	registerConnection(PinDtype_FBcl con) Sets this DataTypeRef_FBcl designation to the given connection and registers the connection on this.
void	registerDepending(DataTypeRef_FBcl depType, int strongness) Registers a depending data type.
(package private) void	stopConnection(java.lang.String name)
DataTypeRef_FBcl	takeOverUsageFrom(DataTypeRef_FBcl old) Replace the old type in all its connections. old should be never more used then.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

instanceCt

static int instanceCt

instanceId

final int instanceId

dt

DataType_FBcl dt

The really used DataType.

connections

public java.util.List<PinDtype_FBcl> connections

All connctions which uses this type.

deps

public java.util.List<DataTypeRef_FBcl.Dependency> deps

All data types instances which should be determine in some aspects one another but other aspects may be different. For example complex or real is different, but both are float or double.

mapTypecharToComplex

private static java.util.Map<java.lang.Character,DataTypeRef_FBcl> mapTypecharToComplex

Map to translate a real type to its complex block

stdTypes

static final java.util.Map<java.lang.String,DataTypeRef_FBcl> stdTypes

That are all standard fix types sorted by name of IEC61499. All fix types are used with this same instance.

Constructor Detail

DataTypeRef_FBcl

public DataTypeRef_FBcl(DataType_FBcl refdt)

DataTypeRef_FBcl

private DataTypeRef_FBcl(DataType_FBcl refdt,
                         int instanceId)

DataTypeRef_FBcl

public DataTypeRef_FBcl(DataTypeRef_FBcl src)

Clone a DataType because of create a Instance to a FB-type. The DataType dt itself is cloned too if it is not a fully determined type.

Parameters:

src - The given DataTypeRef in a type definition.

Method Detail

dt

public DataType_FBcl dt()

checkCopyFrom

public boolean checkCopyFrom(DataTypeRef_FBcl src,
                             int zVectorDim,
                             int what)

Checks this against src. If src contains more deterministic, complete this with them.

Parameters:

src - A second type. src is not changed. src maybe null, then no action is done, return true.

zVectorDim - from DinoutType_FBcl#zVectorDim

Returns:

true if it is okay, false on type error

• '?' if the types does not match.
• 0 if the this was not changed.
• one of "ZBSIJFDsijfd" if the type was changed to that specified real or complex type.
• 'U' if the type was specified to a given user type in src
• 'X' or 'x' if the type remain undefined but real or complex was set.
• set bit 0x100 (causes another UTF16 char) if the #sizeArray was changed. (check and reset it firstly).

determineFromToAllDependings

public boolean determineFromToAllDependings(DataTypeRef_FBcl src,
                                            int zVectorDim,
                                            int what)

Checks this against src. If src contains more deterministic, complete this with them.

Parameters:

src - A second type. src is not changed. src maybe null, then no action is done, return true.

zVectorDim - from DinoutType_FBcl#zVectorDim

Returns:

• '?' if the types does not match.
• 0 if the this was not changed.
• one of "ZBSIJFDsijfd" if the type was changed to that specified real or complex type.
• 'U' if the type was specified to a given user type in src
• 'X' or 'x' if the type remain undefined but real or complex was set.
• set bit 0x100 (causes another UTF16 char) if the #sizeArray was changed. (check and reset it firstly).

determineNondefAspectsAllDependings

private void determineNondefAspectsAllDependings(DataTypeRef_FBcl src,
                                                 int zVectorDim,
                                                 java.util.HashMap<DataTypeRef_FBcl,DataTypeRef_FBcl> done,
                                                 int what,
                                                 int recursion)

determineNondefAspects

public boolean determineNondefAspects(DataTypeRef_FBcl src,
                                      int zVectorDim,
                                      int what)

This operation is called only from Module_FBlock_JgenMdl#replaceTypesInModuleForTranslation(Callmodule_FBlock_JgenMdl) It determines all attributes which are not determined elsewhere.

Parameters:

src -

bForeach -

Returns:

stopConnection

void stopConnection(java.lang.String name)

registerConnection

public void registerConnection(PinDtype_FBcl con)

Sets this DataTypeRef_FBcl designation to the given connection and registers the connection on this.

Parameters:

con -

deregisterConnection

public void deregisterConnection(Pin_FBcl con)

takeOverUsageFrom

public DataTypeRef_FBcl takeOverUsageFrom(DataTypeRef_FBcl old)

Replace the old type in all its connections. old should be never more used then. Handle all depending types. With them a forward propagation is done.

Parameters:

old - the old instance for the connections.

registerDepending

public void registerDepending(DataTypeRef_FBcl depType,
                              int strongness)

Registers a depending data type. If the depType is registered already, it is okay. It is stored only one time. This routine checks and assures that the dependency is stored mutually, depType containy the dependency to this too.

Parameters:

depType - Another Dtype which is registered to be depending on this.

• null- ok, no registering is done
• this == depType - ok, no registering is done
• depType is contained already in deps - ok, no registering is done. But stronger dependency will be stored.

isDepending

public boolean isDepending(DataTypeRef_FBcl deptype)

findEquDepending

public DataTypeRef_FBcl findEquDepending(DataTypeRef_FBcl cmp)

Searches whether this has an equal depending type as cmp.

Parameters:

cmp -

Returns:

null or the found equal depending type.

infoConnections

void infoConnections(java.lang.Appendable ap)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

createStdTypes

private static java.util.Map<java.lang.String,DataTypeRef_FBcl> createStdTypes()

getDataType

public static DataTypeRef_FBcl getDataType(java.lang.String typename,
                                           int sizeArray,
                                           int baseArray)

getDataType

public static DataTypeRef_FBcl getDataType(java.lang.String typename,
                                           DataType_FBcl.RealOrComplex rcmplx,
                                           int sizeArray)

clone_dtypes

public static DataTypeRef_FBcl[] clone_dtypes(DataTypeRef_FBcl[] orig)