DatalogMediaTypes

java.lang.Object

dev.enola.infer.datalog.DatalogMediaTypes

All Implemented Interfaces:: MediaTypeProvider, ResourceMediaTypeDetector

public class DatalogMediaTypes extends Object implements MediaTypeProvider

The text/vnd.datalog Media Types for https://en.wikipedia.org/wiki/Datalog; as specified by the iana.org assignment.

Nota bene, quote, Wikipedia: "There is no unified standard for the specification of Datalog syntax."

Field Summary

Fields

Modifier and Type

Field

Description

static final String

DIALECT

static final String

FEATURES

static final MediaType

GENERIC_DATALOG_UTF_8

static final MediaType

SOUFFLE_DATALOG_UTF_8

Soufflé dialect.
Constructor Summary

Constructors

Constructor

Description

DatalogMediaTypes()
Method Summary

Modifier and Type

Method

Description

Multimap<String,MediaType>

extensionsToTypes()

Maps the URI path "extension" (WITH the dot; or not, filenames such as "README" are also permitted!) to its "canonical" Media Types.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface dev.enola.common.io.mediatype.MediaTypeProvider
detect, knownTypesWithAlternatives

Methods inherited from interface dev.enola.common.io.mediatype.ResourceMediaTypeDetector
detect

Field Details
- GENERIC_DATALOG_UTF_8
  
  public static final MediaType GENERIC_DATALOG_UTF_8
- FEATURES
  
  public static final String FEATURES
  See Also:
  
  Constant Field Values
- DIALECT
  
  public static final String DIALECT
  See Also:
  
  Constant Field Values
- SOUFFLE_DATALOG_UTF_8
  
  public static final MediaType SOUFFLE_DATALOG_UTF_8
  
  Soufflé dialect.
Constructor Details
- DatalogMediaTypes
  
  public DatalogMediaTypes()
Method Details
- extensionsToTypes
  
  public Multimap<String,MediaType> extensionsToTypes()
  
  Description copied from interface: MediaTypeProvider
  
  Maps the URI path "extension" (WITH the dot; or not, filenames such as "README" are also permitted!) to its "canonical" Media Types. This should only be used for "informational" listing kind of output. To actually determine a MediaType, please use MediaTypeProvider.detect(String, ByteSource, MediaType) instead.
  
  Specified by:
  
  extensionsToTypes in interface MediaTypeProvider