Interface FunctionInvocationSet

All Superinterfaces:
Collection<FunctionInvocation>, io.ciera.runtime.summit.classes.IInstanceSet<FunctionInvocationSet,FunctionInvocation>, io.ciera.runtime.summit.types.ISet<FunctionInvocation>, Iterable<FunctionInvocation>, io.ciera.runtime.summit.types.IXtumlType, Set<FunctionInvocation>
All Known Implementing Classes:
FunctionInvocationSetImpl

public interface FunctionInvocationSet extends io.ciera.runtime.summit.classes.IInstanceSet<FunctionInvocationSet,FunctionInvocation>
  • Method Details

    • setFunctionNameLineNumber

      void setFunctionNameLineNumber(int m_functionNameLineNumber) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setStatement_ID

      void setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setFunctionNameColumn

      void setFunctionNameColumn(int m_functionNameColumn) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setSync_ID

      void setSync_ID(io.ciera.runtime.summit.types.UniqueId ref_Sync_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R603_is_a_ACT_SMT

      ACT_SMTSet R603_is_a_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R669_takes_V_PAR

      V_PARSet R669_takes_V_PAR() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R675_is_an_invocation_of_S_SYNC

      S_SYNCSet R675_is_an_invocation_of_S_SYNC() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException