Package jadex.bridge.service.component.interceptors

Class PrePostConditionInterceptor.PrePostConditionFetcher

  • All Implemented Interfaces:
    IValueFetcher
    Enclosing class:
    PrePostConditionInterceptor
    public static class PrePostConditionInterceptor.PrePostConditionFetcher
extends java.lang.Object
implements IValueFetcher
    Fetcher for pre and post condition. Supports $arg, $res and $res[-1], ...

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected java.lang.Object[] args
      The arguments.
      protected java.lang.Object currentarg
      The current arguments.
      protected java.util.List<java.lang.Object> ires
      The intermediate results.
      protected java.lang.Object result
      The result.

    • Constructor Summary

      Constructors 
      Constructor Description
      PrePostConditionFetcher​(java.lang.Object[] args, java.lang.Object currentarg, java.lang.Object result, java.util.List<java.lang.Object> ires)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.Object fetchValue​(java.lang.String name)
      Fetch a value via its name.
      java.lang.Object fetchValue​(java.lang.String name, java.lang.Object object)  

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • args

        protected java.lang.Object[] args
        The arguments.

      • currentarg

        protected java.lang.Object currentarg
        The current arguments.

      • result

        protected java.lang.Object result
        The result.

      • ires

        protected java.util.List<java.lang.Object> ires
        The intermediate results.

    • Constructor Detail

      • PrePostConditionFetcher

        public PrePostConditionFetcher​(java.lang.Object[] args,
                               java.lang.Object currentarg,
                               java.lang.Object result,
                               java.util.List<java.lang.Object> ires)

    • Method Detail

      • fetchValue

        public java.lang.Object fetchValue​(java.lang.String name)
        Description copied from interface: IValueFetcher
        Fetch a value via its name.
        Specified by:
        fetchValue in interface IValueFetcher
        Parameters:
        name - The name.
        Returns:
        The value.

      • fetchValue

        public java.lang.Object fetchValue​(java.lang.String name,
                                   java.lang.Object object)