Virtlink

Origin Tracking

Origin tracking is the idea to build an origin relation between input and output terms of a transformation in a term transformation system (TRS). It was first proposed by Van Deursen et al. in 1993 in the eponymous article. The origin relation can be used to traverse from a result term, to the term before the final transformation happened. This relation can be followed further, all the way back to the original input term before all transformations. Examples of uses for this relation (from the paper) are: constructing language-specific debuggers, visualising program execution, and associating positional information with messages in error reports. The first two examples relate to using the TRS to implement evaluation (interpretation) of a programming language, where the abstract syntax tree (AST) of a program is a term that is transformed to execute it. The origin relation allows a debugger or visualiser to show the execution one step at a time. The third example uses the origin relation tran

Virtlink

<?xml version="1.0" encoding="UTF-8"?>
<project xmlns="http://maven.apache.org/POM/4.0.0"
         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
    <modelVersion>4.0.0</modelVersion>

    <groupId>org.contoso</groupId>
    <artifactId>org.contoso.my-plugin.intellij</artifactId>
    <version>0.1.0-alpha</version>
    <packaging>jar</packaging>

Virtlink

using System;
using System.Diagnostics.Contracts;

namespace Virtlink
{
    /// <summary>
    /// Helper methods for working with circular arrays.
    /// </summary>
    /// <example>
    /// Usage example:

Virtlink

using System;
using System.Diagnostics.Contracts;
using System.IO;

namespace Virtlink
{
    /// <summary>
    /// Extension methods for <see cref="Stream"/> objects.
    /// </summary>
    /// <example>

Virtlink

using System;
using System.Diagnostics;
using System.Linq;

namespace Virtlink
{
    /// <summary>
    /// Helper methods for creating nested arrays.
    /// </summary>
    /// <example>

Virtlink

using System;

namespace Virtlink
{
	/// <summary>
	/// Executes a particular piece of code based on the type of the argument.
	/// </summary>
	/// <example>
	/// Usage example:
	/// <code>

Virtlink

using System;
using System.Diagnostics;
using System.Linq;
using System.Runtime.InteropServices;

namespace Virtlink
{
    public sealed class Program
    {
        #region PInvoke

Virtlink

using System;
using System.Diagnostics.Contracts;
using System.Globalization;

namespace Virtlink
{
    /// <summary>
    /// String extension methods.
    /// </summary>
    /// <example>

Virtlink

using System;

namespace Virtlink
{
    /// <summary>
    /// Helper methods for arrays.
    /// </summary>
    /// <example>
    /// Usage example:
    /// <code>