What is MIME type "text/x-alloy"?

A MIME type is a string that tells browsers and other tools how to handle a particular kind of file.

text/x-alloy is a MIME type for files that hold Alloy code. Alloy is a lightweight modeling language for describing and analyzing software systems. The files are text based, so they can be read and edited with any text editor. They help users to model system properties and verify designs using formal methods.

Files in this format usually carry the ALS extension.

• Main purpose: To express formal models using the Alloy language.
• Primary use: Automated analysis of system designs with tools like the Alloy Analyzer.
• Key feature: A simple, text-based syntax that is both human readable and machine processable.
• Other uses: Academic research, software design validation, and teaching formal methods.

For more detailed information, visit the Alloy project website.

Associated file extensions

.als

Usage Examples

HTTP Header

When serving content with this MIME type, set the Content-Type header:

    Content-Type: text/x-alloy
  

HTML

In HTML, you can specify the MIME type in various elements:

    <a href="file.dat" type="text/x-alloy">Download file</a>
  

Server-side (Node.js)

Setting the Content-Type header in Node.js:

    const http = require('http');
    
    http.createServer((req, res) => {
      res.setHeader('Content-Type', 'text/x-alloy');
      res.end('Content here');
    }).listen(3000);
  

Associated file extensions

.als