-
1.发明授权INPUT FILTERS AND FILTER-DRIVEN INPUT PROCESSING APPLIED TO INPUT PRIOR TO PROVIDING INPUT TO A TARGET COMPONENT 有权输入滤波器和滤波器驱动的输入处理应用于输入以提供输入到目标组件
公开(公告)号：EP3047382B1
公开(公告)日：2018-04-18
申请号：EP14781753.0
申请日：2014-09-18
发明人： CHEN, Wen-Ke , YU, Jinsong , RIEMANN, Alexander P.
IPC分类号： G06F13/14
摘要： Input filters correlate to target components. For a given target component, the input filter defines input validation information. The input filter might also define conversions or transformations to be applied to valid input prior to being provided to the target component. At build time, code is accessed that contains the input validation, conversion and transformation and that identifies the associated target component. The information is then used to construct an input filter. At run time, when an input processing component receives an input, the input processing component identifies the target component, accesses the associated input filter, and uses the information contained in the input filter to determine whether the input is valid, and whether and how to convert and transform the value.
-
公开(公告)号：EP3053032A1
公开(公告)日：2016-08-10
申请号：EP14790857.8
申请日：2014-10-01
发明人： CHEN, Wen-Ke , YU, Jinsong , RIEMANN, Alexander P.
摘要： Build-time resolution and type-enforcing of corresponding references in different code that references the same value. In response to detecting a directive within the code itself that a first reference in first code is to be correlated with a second reference in second code, and in response to detection that the types of the references are the same, a code generation tool generates correlation code that is interpretable to a compiler as allowing a value of a type of the first reference of a compiled-form of the first code to be passed as the same value of the same type of the second reference of a compiled-form of the second code. The first code, the second code, and the generated correlation code may then be compiled. If compilation is successful, this means that the first and second references are already properly resolved as referring to the same value and type-enforced.
摘要翻译： 在不同代码中引用相同值的相应引用的构建时解析和类型实施。 响应于在代码本身内检测到第一代码中的第一参考与第二代码中的第二参考相关联的指示，并且响应于检测到参考的类型相同，代码生成工具生成相关 代码可以被编译器解释为允许第一个代码的编译形式的第一个引用类型的值作为第二个编译形式的第二个引用的相同类型的相同值传递 码。 然后可以编译第一个代码，第二个代码和生成的相关代码。 如果编译成功，这意味着第一个和第二个引用已被正确解析为引用相同的值并强制执行类型。
-
3.发明公开INPUT FILTERS AND FILTER-DRIVEN INPUT PROCESSING APPLIED TO INPUT PRIOR TO PROVIDING INPUT TO A TARGET COMPONENT 有权输入过滤器和过滤控制的输入处理之前，入世后的目标设备拨款
公开(公告)号：EP3047382A1
公开(公告)日：2016-07-27
申请号：EP14781753.0
申请日：2014-09-18
发明人： CHEN, Wen-Ke , YU, Jinsong , RIEMANN, Alexander P.
IPC分类号： G06F13/14
摘要： Input filters correlate to target components. For a given target component, the input filter defines input validation information. The input filter might also define conversions or transformations to be applied to valid input prior to being provided to the target component. At build time, code is accessed that contains the input validation, conversion and transformation and that identifies the associated target component. The information is then used to construct an input filter. At run time, when an input processing component receives an input, the input processing component identifies the target component, accesses the associated input filter, and uses the information contained in the input filter to determine whether the input is valid, and whether and how to convert and transform the value.
摘要翻译： 输入滤波器相关目标的组件。 对于给定的目标成分，输入滤波器定义输入验证信息。 输入滤波器因此可能定义的转换或变换被施加到有效的输入被提供给目标组件之前。 在构建时，代码被访问确实包含输入验证，转换和变换，做标识相关目标组件。 然后该信息被用于构造输入滤波器的。 在运行时，当输入处理部件上输入端接收，输入处理部件标识目标组件，访问相关联的输入滤波器，和使用包含在输入滤波器确定性矿无论输入是有效的，并确定是否以及如何将信息 转换和转换价值。
-
-
搜索结果
3 条记录 (耗时 0.014 秒)
