Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

4 results about "Generic programming" patented technology

Generic programming is a style of computer programming in which algorithms are written in terms of types to-be-specified-later that are then instantiated when needed for specific types provided as parameters. This approach, pioneered by ML in 1973, permits writing common functions or types that differ only in the set of types on which they operate when used, thus reducing duplication. Such software entities are known as generics in Python, Ada, C#, Delphi, Eiffel, F#, Java, Rust, Swift, TypeScript and Visual Basic .NET. They are known as parametric polymorphism in ML, Scala, Julia, and Haskell (the Haskell community also uses the term "generic" for a related but somewhat different concept); templates in C++ and D; and parameterized types in the influential 1994 book Design Patterns.

Method, system and equipment for calling generic method by using Rust language

PendingCN122064402AAddresses core limitation of not supporting generic methodstype safetyDigital data information retrievalExecution paradigmsCode generationTrait
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.
Owner:GUANGZHOU AVA ELECTRONICS TECH CO LTD

A method and system for generating an authentication document

ActiveCN121683749BFully automatedAvoid data inconsistenciesDatabase management systemsText processingGeneric programmingSoftware architecture
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.
Owner:浙江望安科技有限公司

Java language LINQ expression implementation method based on chain call

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.
Owner:GUANGZHOU JUNBO NETWORK TECH INC

API (Application Program Interface) document generation method and system based on Java bytecode static analysis

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.
Owner:SHANGHAI FINANCIAL FUTURES INFORMATION TECH CO LTD