12 results about "Generic programming" patented technology

The application discloses a kind of blockchain smart contract architecture and its design method, belong to blockchain field, including: the interaction of using generic interface implementation and access layer, consensus algorithm layer and account data, smart contract module is generated independent software function module by integrating standard library, trusted check information packing, the call and callback function of mode are passed through function pointer, the call and interaction of smart contract framework and smart contract dynamic library are realized, the interaction of smart contract library and TA is realized by implementing the core logic of smart contract in the form of TA in trusted execution environment, and using the GP specification of Trustzone;Transaction information handled and generated by smart contract is temporarily stored to the transaction cache area, read by consensus algorithm, consensus and finally form new block and fall disk.The application guarantees the execution safety of the core logic of smart contract, optimizes blockchain software architecture, realizes the trusted check and efficient operation of contract, improves programming efficiency.

The invention discloses a method, a system and equipment for calling a generic method by a Rust language. Wherein. The method comprises an expansion step during compiling and a calling step during running, during compiling, a package function for expanding trait and type erasure / recovery is automatically generated through process macro analysis trait and specific implementation, and mapping of the type and the package function is registered to a global table. During operation, when the generic method is called for the trait object, the registry is inquired according to the actual type, the corresponding packaging function is found and executed, and therefore the original generic method is indirectly called for implementation. The core is to realize dynamic distribution of generic methods through compilation period code generation and runtime search. According to the method, the core limitation that the trait object in the Rust language does not support the generic method is successfully solved, and the dynamic generic method calling with safe type and zero running overhead is realized.

The application provides a method and system for generating authentication documents, and relates to the technical field of software architecture design. The method comprises the following steps: obtaining a user request for generating an authentication document; in response to the user request, performing unified code encapsulation processing on a business entity through a general controller based on generic abstraction to obtain underlying support data for providing unified data for a form engine and a fragment engine; according to the underlying support data, calling a plug-in data builder through the form engine to construct form data; according to the form data, calling a plug-in fragment builder through the fragment engine to construct HTML fragment data; using a rendering template to perform rendering processing on the HTML fragment data and form data associated with the HTML fragment data to generate rendering content of the authentication document; and returning the rendering content to a user end to generate the authentication document.

The application relates to a type-sensitive pointer analysis method and device for generic programming, and particularly relates to the technical field of software testing. The method comprises the following steps: obtaining target program code to be analyzed; mapping a type variable in a generic programming statement in the target program code to an actual type of the type variable, and putting the mapping between the type variable and the actual type into a context of the generic programming statement; and performing context-sensitive pointer analysis on the target program code based on the context of the generic programming statement, so as to obtain a pointing relationship between various pointers in the target program code. The mapping relationship between a specific type of generic instantiation and a type variable is put into a context for context-sensitive pointer analysis, so that the pointing relationship between various pointers is obtained, and the accuracy of the context-sensitive pointer analysis for the generic programming is improved.

The invention provides a communication module code generation system based on TypeScript, through the system, a TypeScript language is applied to the field of communication module code generation, the powerful generic and interface characteristics of the TypeScript are utilized, the intermediate representation of structured hardware behaviors and structure description can be directly utilized, and the generation efficiency of the communication module code is improved. Converting to obtain a structured electronic system-level modeling description intermediate representation corresponding to the hardware behavior and structure description intermediate representation so as to generate a corresponding target communication module code; therefore, it is ensured that the generated target communication module code can be used as a clock-accurate communication module code matched with the intermediate representation of hardware behavior and structure description.

The application relates to a method and device for converting a generic function in the process of converting a SCADE model into a Lustre model. The method comprises the following steps: step S1, a generic operator analysis process; step S2, a generic function size parameter and variable analysis process; step S3, a generic parameter synthesis process; step S4, a generic type derivation process; step S5, a generic name assembly process; step S6, a generic function assignment equation analysis process; and step S7, a generic function output process. Compared with the prior art, the application has the advantages that the generic function of a synchronous data flow language model is converted, thereby effectively verifying a safety-critical system model in a formal manner, and the safety of the safety-critical system is further improved.

The invention discloses a method, a device, equipment and a medium for acquiring generic Bean in Spring Framework framework, and relates to the technical field of computers, the method comprises the following steps: acquiring an initial object from a preset container, and storing a generic type of a preset object acquisition method into a preset expected type variable; packaging the preset expected type variable to obtain a packaged object, and verifying whether the generic type of the packaged object is consistent with the generic type of the initial object; if yes, performing forced conversion on the initial object, and returning to the initial object; and if not, performing exception error reporting based on the original type of the initial object. Therefore, generic object acquisition with real type security can be realized in Spring Framework, the function blank of a framework in the aspect of generic dependency injection is filled, and the risk of type conversion errors caused by forced type conversion is thoroughly avoided.

The invention is suitable for the field of computer programming, and provides a chained-call-based Java language LINQ expression implementation method, which comprises the following steps: providing a LinqQuer interface, defining a chained operator, namely, a where operator and a select, and providing type security through a generic T; a user calls a chain operator of the LinqQuery interface to generate an operator tree, wherein the operator tree is used for recording query logic; analyzing the operator tree, executing query according to levels, and returning a result set; the method has the advantages that compared with traditional circulation and condition branch implementation, the number of code lines is reduced by about 40%, readability is remarkably improved, a developer can easily expand a query function through an open operator interface, query logic type check is completed in a compilation period through generic constraint, errors during operation are reduced, and the method is convenient to operate. Unified query of various scenes such as a memory set, database query and file reading is supported.

The application is suitable for the field of computer programming and provides a Java language LINQ expression implementation method based on chain calling, which comprises the following steps: providing a LinqQuery interface, the LinqQuery interface defines a chain operator where operator and select, and type safety is provided through a generic T; a user generates an operator tree through calling the chain operator of the LinqQuery interface, the operator tree is used for recording query logic; the operator tree is parsed, query is executed in layers, and a result set is returned; the application has the beneficial effects that compared with traditional loop and conditional branch implementation, the number of code lines is reduced by about 40%, the readability is significantly improved, through an open operator interface, a developer can easily extend query functions, through generic constraints, type checking of query logic is completed at the compilation stage, runtime errors are reduced, and unified query of various scenes such as memory collection, database query and file reading is supported.

This specification discloses a method and device for code testing and test case generation, which can accurately determine the actual return value types of generic methods called by the code to be tested and methods that undergo forced type conversion during the execution of the code to be tested, so that the code to be tested can be tested based on the determined actual return value type, thereby improving the accuracy of the test results.

This application discloses methods, apparatus, devices, and media for obtaining generic beans in the Spring Framework, relating to the field of computer technology. The methods include: obtaining an initial object from a predefined container and storing the generic type of the predefined object acquisition method in a predefined expected type variable; encapsulating the predefined expected type variable to obtain an encapsulated object, and verifying whether the generic type of the encapsulated object is consistent with that of the initial object; if consistent, performing a type cast on the initial object and returning the initial object; if inconsistent, throwing an exception based on the original type of the initial object. This enables truly type-safe acquisition of generic objects in the Spring Framework, filling the functional gap in generic dependency injection within the framework and completely avoiding the risk of type conversion errors caused by forced type casting.

The invention relates to an API (Application Program Interface) document generation method and system based on Java bytecode static analysis, which thoroughly get rid of the dependence on the environment when an application program runs by directly reading a JAR / WAR packet and carrying out static analysis on a bytecode file. This means that the API document can be generated immediately after the code is compiled and packaged, the efficiency and flexibility of document generation are greatly improved, and the API document can be more easily integrated into a DevOps process. All complex data types in the input parameter and the output parameter of the method can be recursively analyzed by utilizing the method signature, the field information and the generic information obtained by the byte code level. Through accurate analysis of method signatures and mapping of class generic parameters, even a deep nested generic structure can be accurately identified and analyzed to class definitions in a dependency library. And based on analysis of the annotations in the byte codes, the flexibility is high, and the expansibility is high.