|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object ujf.verimag.bip.codegen.InteractionPoint
public class InteractionPoint
Class for describing interaction points within the C code. Interaction points are special function call and are described by their function prototype + function call.
Field Summary | |
---|---|
java.lang.String[] |
arguments_types
The arguments types used by this interaction point. |
java.lang.String |
function_name
The function name for this interaction point. |
java.lang.String |
return_type
The return type for this interaction point |
Constructor Summary | |
---|---|
InteractionPoint(java.lang.String return_type,
java.lang.String function_name,
java.lang.String[] arguments)
Creates a new interaction point. |
Method Summary | ||
---|---|---|
boolean |
equals(InteractionPoint ip)
Test for equality between two interaction points. |
|
PortDefinition |
getCallPortDefinition(Module module,
AtomType atomtype)
Returns the port definition corresponding to the call part. |
|
PortDefinition |
getCallPortDefinition(Module module,
AtomType atomtype,
java.lang.String typePrefix)
Returns the port definition corresponding to the call part. |
|
Variable[] |
getCallVariables(Module module,
AtomType atomtype)
Returns the data variables corresponding to the call part. |
|
Variable[] |
getCallVariables(Module module,
AtomType atomtype,
java.lang.String typePrefix)
Returns the data variables corresponding to the call part. |
|
PortDefinition |
getReturnPortDefinition(Module module,
AtomType atomtype)
Returns the port definition corresponding to the return part. |
|
PortDefinition |
getReturnPortDefinition(Module module,
AtomType atomtype,
java.lang.String typePrefix)
Returns the port definition corresponding to the return part. |
|
Variable |
getReturnVariable(Module module,
AtomType atomtype)
Returns the data variable corresponding to the return part. |
|
Variable |
getReturnVariable(Module module,
AtomType atomtype,
java.lang.String typePrefix)
Returns the data variable corresponding to the return part. |
|
|
matchFunctionCall(
Checks if the interaction point matches a given function call. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public final java.lang.String return_type
public final java.lang.String function_name
public final java.lang.String[] arguments_types
Constructor Detail |
---|
public InteractionPoint(java.lang.String return_type, java.lang.String function_name, java.lang.String[] arguments)
return_type
- the return typefunction_name
- the function name corresponding to the interaction pointarguments
- the arguments used by the function corresponding to the interaction point.Method Detail |
---|
public boolean equals(InteractionPoint ip)
ip
- the other interaction point.
public PortDefinition getCallPortDefinition(Module module, AtomType atomtype, java.lang.String typePrefix)
module
- the module in which the port definition should be created/searched for.atomtype
- the atom in that contains the port definitiontypePrefix
- a prefix to add to the port type name
public PortDefinition getCallPortDefinition(Module module, AtomType atomtype)
module
- the module in which the port definition should be created/searched for.atomtype
- the atom that contains the port definition
public PortDefinition getReturnPortDefinition(Module module, AtomType atomtype)
module
- the module in which the port definition should be created/searched for.atomtype
- the atom that contains the port definition
public PortDefinition getReturnPortDefinition(Module module, AtomType atomtype, java.lang.String typePrefix)
module
- the module in which the port definition should be created/searched for.atomtype
- the atom that contains the port definitiontypePrefix
- a prefix to add to the port type name
public Variable getReturnVariable(Module module, AtomType atomtype, java.lang.String typePrefix)
module
- the module in which the port definition should be created/searched for.atomtype
- the atom that contains the data variabletypePrefix
- a prefix to add to the port type name
public Variable getReturnVariable(Module module, AtomType atomtype)
module
- the module in which the port definition should be created/searched for.atomtype
- the atom that contains the data variable
public Variable[] getCallVariables(Module module, AtomType atomtype, java.lang.String typePrefix)
module
- the module in which the port definition should be created/searched for.atomtype
- the atom that contains the data variabletypePrefix
- a prefix to add to the port type name
public Variable[] getCallVariables(Module module, AtomType atomtype)
module
- the module in which the port definition should be created/searched for.atomtype
- the atom that contains the data variable
public <ReturnTypeClass extends CType> boolean matchFunctionCall(fcall)
ReturnTypeClass
- fcall
- the function call object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |